Summary

Overall Summary

## Number Problems:  63
## Number Instanzes:  946
Statistic Min Max Avg Median
time_CPU 0 531.328 10.5227293868922 0.3955
choices 0 17161576 174381.458773784 5636
conflicts 0 8385268 98609.5179704017 2046.5
backtracks 0 95 4.06659619450317 0
backjumps 0 8385268 98605.4513742072 2046.5
restarts 0 15331 250.387949260042 13
jumps 0 8385268 98605.4513742072 2046.5
atoms 51 41451 8575.92177589852 5500
rules 78 101620 30738.544397463 26762
bodies 0 273879 52202.0708245243 31486.5
equivalences 6 67063 10020.3826638478 6333
variables 0 72779 13858.8773784355 7378
eliminated 0 0 0 0
frozen 0 24623 2303.13213530655 602
constraints 0 273879 52202.0708245243 31486.5
nHornClauses 0 20100 3045.28329809725 2220
nDualHornClauses 0 92892 16347.7029598309 5000
maxClauseSize 1 1550 103.477801268499 8
maxPositiveClauseSize 1 1534 82.9873150105708 8
maxNegativeClauseSize 0 1548 29.384778012685 1
numVPosLitH 0 18092 3823.12684989429 2721
numVPosLit 0 15625 3289.07188160677 1863
numVNegLitH 0 7330 1165.59830866808 759.5
numVNegLit 0 7330 956.278012684989 560
maxPosRSizeC 0 766 64.0919661733615 6
maxPosRSizeNC 0 1534 25.4429175475687 3
numAtomOccC 0 298014 76048.8171247357 66807
numAtomOccNC 0 203003 8229.88477801269 2525
maxNumAtomOcc 1 89721 8388.56236786469 2202.5
maxNumPosOccA 1 89721 8388.34566596194 2202.5
maxNumNegOccA 0 1700 44.0909090909091 2
dWidth 0 1199 244.563862928349 178
dEdges 0 291534 78207.4852008457 68532.5
dNodes 0 106775 31705.3467230444 27094.5
iWidth 29 489 268.6 273
iEdges 0 291534 78207.4852008457 68532.5
iNodes 0 106775 31705.3467230444 27094.5

Summary per problem

Problem Number of Instances
MazeGeneration 10
Hanoi 13
TowersOfHanoiCompetition 5
RandomNonTight 1
GeneralizedSlitherlink 22
HamiltonianPath 34
WeightBoundedDominatingSet 29
WeightBoundedDominatingSetSuite 5
HamiltonianCycle 5
GraphPartitioning 6
ConnectedDominatingSet 10
TravellingSalesperson 29
TravelingSalespersonSuite 5
Solitaire 21
SolitaireBackward 4
SolitaireForward 5
searchTest-plain 1
Sudoku 5
SolitaireBackward2 3
StrategicCompanies 3
verifyTest-variableSearchSpace 5
WireRouting 12
HierarchicalClustering 8
Sokoban 115
18-MinimalDiagnosis 67
WeightedLatinSquareCompetition 1
Fastfood 10
CarSequencing 5
HydraulicLeaking 15
HydraulicPlanning 14
ChannelRouting 5
SocialGolfer 2
Factoring 2
GraphColouring 9
CompanyControls 1
KnightsTour 4
KnightTour 8
RLP-150 1
RLP-200 1
CombinedConfiguration 25
b01 23
Visit-all 36
b24 40
b16 3
20-Numberlink 79
RicochetRobots 12
BlockedNQueens 15
BlockedN-QueensCompetition 4
34-PartnerUnitsPolynomial 27
b13 21
b09 24
b05 3
b27 12
b07 10
b26 3
17-Labyrinth 50
25-GraphColouring 15
10-SokobanDecision 4
22-HanoiTower 4
32-StableMarriage 2
03-StrategicCompanies 4
15Puzzle 16
SchurNumbers 13
Problem Statistic Min Max Mean Median
MazeGeneration time_CPU 0 0.031 0.0095 0.008
MazeGeneration choices 105 3919 785.4 324.5
MazeGeneration conflicts 0 430 84.5 11.5
MazeGeneration backtracks 0 2 0.3 0
MazeGeneration backjumps 0 430 84.2 11.5
MazeGeneration restarts 0 2 0.5 0
MazeGeneration jumps 0 430 84.2 11.5
MazeGeneration atoms 1769 3485 2709.8 2848.5
MazeGeneration rules 2947 6147 4692.2 4929.5
MazeGeneration bodies 3431 7705 5766.7 6058.5
MazeGeneration equivalences 3113 6120 4632 4712
MazeGeneration variables 933 2064 1549.7 1629
MazeGeneration eliminated 0 0 0 0
MazeGeneration frozen 770 1711 1282.4 1347.5
MazeGeneration constraints 3431 7705 5766.7 6058.5
MazeGeneration nHornClauses 1285 2805 2114.3 2223
MazeGeneration nDualHornClauses 712 1647 1215.4 1272
MazeGeneration maxClauseSize 169 361 273.8 289
MazeGeneration maxPositiveClauseSize 169 361 273.8 289
MazeGeneration maxNegativeClauseSize 2 2 2 2
MazeGeneration numVPosLitH 332 715 541.3 569.5
MazeGeneration numVPosLit 164 355 268.3 282.5
MazeGeneration numVNegLitH 332 715 541.3 569.5
MazeGeneration numVNegLit 164 355 268.3 282.5
MazeGeneration maxPosRSizeC 169 361 273.8 289
MazeGeneration maxPosRSizeNC 5 5 5 5
MazeGeneration numAtomOccC 5930 13234 9901.8 10395.5
MazeGeneration numAtomOccNC 1915 3957 3026.3 3173
MazeGeneration maxNumAtomOcc 894 2017 1501.8 1576
MazeGeneration maxNumPosOccA 894 2017 1501.8 1576
MazeGeneration maxNumNegOccA 9 9 9 9
MazeGeneration dWidth 120 120 120 120
MazeGeneration dEdges 6461 14498 10827.5 11359.5
MazeGeneration dNodes 2286 4968 3748.4 3938
MazeGeneration iWidth Inf -Inf NaN NA
MazeGeneration iEdges 6461 14498 10827.5 11359.5
MazeGeneration iNodes 2286 4968 3748.4 3938
Hanoi time_CPU 0.141 8.672 3.33776923076923 3.25
Hanoi choices 5412 238745 113266.230769231 115335
Hanoi conflicts 1951 91372 40346.5384615385 42751
Hanoi backtracks 5 50 25.3846153846154 21
Hanoi backjumps 1946 91352 40321.1538461538 42734
Hanoi restarts 13 254 132.076923076923 130
Hanoi jumps 1946 91352 40321.1538461538 42734
Hanoi atoms 6459 23806 16826.8461538462 17531
Hanoi rules 17286 64679 45602.2307692308 47509
Hanoi bodies 28108 114595 80070.5384615385 83683
Hanoi equivalences 11083 41401 29220.1538461538 30438
Hanoi variables 8552 33760 23548.1538461538 24492
Hanoi eliminated 0 0 0 0
Hanoi frozen 602 2350 1640.46153846154 1706
Hanoi constraints 28108 114595 80070.5384615385 83683
Hanoi nHornClauses 1836 6816 4811.15384615385 5011
Hanoi nDualHornClauses 10460 39670 27912.9230769231 29085
Hanoi maxClauseSize 22 22 22 22
Hanoi maxPositiveClauseSize 22 22 22 22
Hanoi maxNegativeClauseSize 1 1 1 1
Hanoi numVPosLitH 3911 15040 10561.8461538462 11000
Hanoi numVPosLit 1618 6273 4398.15384615385 4572
Hanoi numVNegLitH 871 3278 2309.84615384615 2408
Hanoi numVNegLit 0 0 0 0
Hanoi maxPosRSizeC 22 22 22 22
Hanoi maxPosRSizeNC 4 4 4 4
Hanoi numAtomOccC 44523 170754 119976.230769231 125110
Hanoi numAtomOccNC 2831 7325 5476 5589
Hanoi maxNumAtomOcc 4694 17642 12434 12962
Hanoi maxNumPosOccA 4694 17642 12434 12962
Hanoi maxNumNegOccA 3 3 3 3
Hanoi dWidth Inf -Inf NaN NA
Hanoi dEdges 46486 174970 123242.846153846 128395
Hanoi dNodes 21856 81699 57611 60019
Hanoi iWidth Inf -Inf NaN NA
Hanoi iEdges 46486 174970 123242.846153846 128395
Hanoi iNodes 21856 81699 57611 60019
TowersOfHanoiCompetition time_CPU 0.828 1.563 1.1344 1.047
TowersOfHanoiCompetition choices 30466 56490 42123.6 39229
TowersOfHanoiCompetition conflicts 20588 43330 30645.4 30736
TowersOfHanoiCompetition backtracks 4 8 5.8 6
TowersOfHanoiCompetition backjumps 20584 43322 30639.6 30730
TowersOfHanoiCompetition restarts 69 175 126 140
TowersOfHanoiCompetition jumps 20584 43322 30639.6 30730
TowersOfHanoiCompetition atoms 6207 9348 7209.2 6768
TowersOfHanoiCompetition rules 36209 55318 42250.8 39539
TowersOfHanoiCompetition bodies 11261 18378 13496.8 12654
TowersOfHanoiCompetition equivalences 3456 5192 4010.8 3766
TowersOfHanoiCompetition variables 3589 5648 4233.6 3939
TowersOfHanoiCompetition eliminated 0 0 0 0
TowersOfHanoiCompetition frozen 477 681 549.8 528
TowersOfHanoiCompetition constraints 11261 18378 13496.8 12654
TowersOfHanoiCompetition nHornClauses 10536 16206 12326 11520
TowersOfHanoiCompetition nDualHornClauses 21768 33364 25427.2 23778
TowersOfHanoiCompetition maxClauseSize 10 11 10.2 10
TowersOfHanoiCompetition maxPositiveClauseSize 10 11 10.2 10
TowersOfHanoiCompetition maxNegativeClauseSize 1 1 1 1
TowersOfHanoiCompetition numVPosLitH 1580 2414 1847.2 1731
TowersOfHanoiCompetition numVPosLit 1514 2332 1774 1659
TowersOfHanoiCompetition numVNegLitH 200 290 230.4 219
TowersOfHanoiCompetition numVNegLit 200 290 230.4 219
TowersOfHanoiCompetition maxPosRSizeC 10 11 10.2 10
TowersOfHanoiCompetition maxPosRSizeNC 3 3 3 3
TowersOfHanoiCompetition numAtomOccC 84880 132612 99734.4 92874
TowersOfHanoiCompetition numAtomOccNC 20002 27881 22719.8 21683
TowersOfHanoiCompetition maxNumAtomOcc 14265 21743 16634.6 15576
TowersOfHanoiCompetition maxNumPosOccA 14265 21743 16634.6 15576
TowersOfHanoiCompetition maxNumNegOccA 36 40 36.8 36
TowersOfHanoiCompetition dWidth Inf -Inf NaN NA
TowersOfHanoiCompetition dEdges 104220 159592 121706.4 113838
TowersOfHanoiCompetition dNodes 41687 63685 48640.6 45518
TowersOfHanoiCompetition iWidth Inf -Inf NaN NA
TowersOfHanoiCompetition iEdges 104220 159592 121706.4 113838
TowersOfHanoiCompetition iNodes 41687 63685 48640.6 45518
RandomNonTight time_CPU 6.75 6.75 6.75 6.75
RandomNonTight choices 212889 212889 212889 212889
RandomNonTight conflicts 188414 188414 188414 188414
RandomNonTight backtracks 12 12 12 12
RandomNonTight backjumps 188402 188402 188402 188402
RandomNonTight restarts 722 722 722 722
RandomNonTight jumps 188402 188402 188402 188402
RandomNonTight atoms 51 51 51 51
RandomNonTight rules 703 703 703 703
RandomNonTight bodies 4767 4767 4767 4767
RandomNonTight equivalences 9 9 9 9
RandomNonTight variables 708 708 708 708
RandomNonTight eliminated 0 0 0 0
RandomNonTight frozen 708 708 708 708
RandomNonTight constraints 4767 4767 4767 4767
RandomNonTight nHornClauses 736 736 736 736
RandomNonTight nDualHornClauses 649 649 649 649
RandomNonTight maxClauseSize 7 7 7 7
RandomNonTight maxPositiveClauseSize 4 4 4 4
RandomNonTight maxNegativeClauseSize 3 3 3 3
RandomNonTight numVPosLitH 50 50 50 50
RandomNonTight numVPosLit 50 50 50 50
RandomNonTight numVNegLitH 50 50 50 50
RandomNonTight numVNegLit 50 50 50 50
RandomNonTight maxPosRSizeC 4 4 4 4
RandomNonTight maxPosRSizeNC 0 0 0 0
RandomNonTight numAtomOccC 4459 4459 4459 4459
RandomNonTight numAtomOccNC 0 0 0 0
RandomNonTight maxNumAtomOcc 113 113 113 113
RandomNonTight maxNumPosOccA 63 63 63 63
RandomNonTight maxNumNegOccA 57 57 57 57
RandomNonTight dWidth Inf -Inf NaN NA
RandomNonTight dEdges 4390 4390 4390 4390
RandomNonTight dNodes 787 787 787 787
RandomNonTight iWidth Inf -Inf NaN NA
RandomNonTight iEdges 4390 4390 4390 4390
RandomNonTight iNodes 787 787 787 787
GeneralizedSlitherlink time_CPU 0.016 0.125 0.0723636363636364 0.078
GeneralizedSlitherlink choices 39 1857 806.818181818182 671
GeneralizedSlitherlink conflicts 29 452 227.272727272727 199
GeneralizedSlitherlink backtracks 0 14 4.63636363636364 4.5
GeneralizedSlitherlink backjumps 28 452 222.636363636364 194
GeneralizedSlitherlink restarts 0 5 2.40909090909091 2
GeneralizedSlitherlink jumps 28 452 222.636363636364 194
GeneralizedSlitherlink atoms 521 4983 3746.04545454545 3772.5
GeneralizedSlitherlink rules 1275 14281 9974.95454545455 8274
GeneralizedSlitherlink bodies 2224 34547 15511.4090909091 16796
GeneralizedSlitherlink equivalences 575 6726 4468.77272727273 4151
GeneralizedSlitherlink variables 755 7391 5186.68181818182 5047.5
GeneralizedSlitherlink eliminated 0 0 0 0
GeneralizedSlitherlink frozen 224 2416 1563.59090909091 1563
GeneralizedSlitherlink constraints 2224 34547 15511.4090909091 16796
GeneralizedSlitherlink nHornClauses 367 3255 2478.72727272727 2510
GeneralizedSlitherlink nDualHornClauses 300 2818 2127.45454545455 2102
GeneralizedSlitherlink maxClauseSize 160 1550 1145 1034.5
GeneralizedSlitherlink maxPositiveClauseSize 46 432 276.727272727273 280.5
GeneralizedSlitherlink maxNegativeClauseSize 158 1548 1143 1032.5
GeneralizedSlitherlink numVPosLitH 220 1909 1443.77272727273 1477
GeneralizedSlitherlink numVPosLit 72 648 487.045454545455 498.5
GeneralizedSlitherlink numVNegLitH 122 1235 775.409090909091 784
GeneralizedSlitherlink numVNegLit 0 0 0 0
GeneralizedSlitherlink maxPosRSizeC 46 432 276.727272727273 280.5
GeneralizedSlitherlink maxPosRSizeNC 5 6 5.45454545454545 5
GeneralizedSlitherlink numAtomOccC 5929 288784 190390.727272727 194705
GeneralizedSlitherlink numAtomOccNC 270 3142 2183.90909090909 1866
GeneralizedSlitherlink maxNumAtomOcc 300 2715 2064.5 2061.5
GeneralizedSlitherlink maxNumPosOccA 300 2715 2064.5 2061.5
GeneralizedSlitherlink maxNumNegOccA 205 1700 1480.5 1407
GeneralizedSlitherlink dWidth 389 475 407.090909090909 401
GeneralizedSlitherlink dEdges 3227 111661 57051.3181818182 56986.5
GeneralizedSlitherlink dNodes 958 8657 6579.13636363636 6648
GeneralizedSlitherlink iWidth Inf -Inf NaN NA
GeneralizedSlitherlink iEdges 3227 111661 57051.3181818182 56986.5
GeneralizedSlitherlink iNodes 958 8657 6579.13636363636 6648
HamiltonianPath time_CPU 0 0.172 0.0369117647058824 0.031
HamiltonianPath choices 249 6131 1782.70588235294 1450
HamiltonianPath conflicts 115 3830 899.588235294118 700.5
HamiltonianPath backtracks 0 11 2.5 2
HamiltonianPath backjumps 114 3827 897.088235294118 698
HamiltonianPath restarts 1 28 6.05882352941176 5.5
HamiltonianPath jumps 114 3827 897.088235294118 698
HamiltonianPath atoms 1376 2031 1688.76470588235 1682
HamiltonianPath rules 2319 8446 3563 3243
HamiltonianPath bodies 2057 5803 3262 3062.5
HamiltonianPath equivalences 1296 3495 1774.85294117647 1589
HamiltonianPath variables 946 1803 1340.64705882353 1324
HamiltonianPath eliminated 0 0 0 0
HamiltonianPath frozen 420 874 552.588235294118 533.5
HamiltonianPath constraints 2057 5803 3262 3062.5
HamiltonianPath nHornClauses 529 1207 703.441176470588 663
HamiltonianPath nDualHornClauses 729 6038 1260.88235294118 1026
HamiltonianPath maxClauseSize 3 13 5.38235294117647 5
HamiltonianPath maxPositiveClauseSize 3 13 5.38235294117647 5
HamiltonianPath maxNegativeClauseSize 1 1 1 1
HamiltonianPath numVPosLitH 107 1264 865.264705882353 946
HamiltonianPath numVPosLit 107 539 360.794117647059 378
HamiltonianPath numVNegLitH 106 725 524 568
HamiltonianPath numVNegLit 0 144 19.5294117647059 0
HamiltonianPath maxPosRSizeC 3 13 5.38235294117647 5
HamiltonianPath maxPosRSizeNC 2 9 2.61764705882353 2
HamiltonianPath numAtomOccC 3546 7767 4843.73529411765 4675
HamiltonianPath numAtomOccNC 648 18649 1992.14705882353 799.5
HamiltonianPath maxNumAtomOcc 289 6137 749.970588235294 384
HamiltonianPath maxNumPosOccA 289 6137 749.970588235294 384
HamiltonianPath maxNumNegOccA 1 2 1.14705882352941 1
HamiltonianPath dWidth 23 238 44.8387096774194 40
HamiltonianPath dEdges 3598 22728 5955.20588235294 4778
HamiltonianPath dNodes 2122 8997 2994.11764705882 2654
HamiltonianPath iWidth 29 29 29 29
HamiltonianPath iEdges 3598 22728 5955.20588235294 4778
HamiltonianPath iNodes 2122 8997 2994.11764705882 2654
WeightBoundedDominatingSet time_CPU 0.016 204.266 13.238724137931 1.219
WeightBoundedDominatingSet choices 1237 1505165 171039.206896552 37960
WeightBoundedDominatingSet conflicts 531 1134199 124458.379310345 24617
WeightBoundedDominatingSet backtracks 0 10 2.37931034482759 1
WeightBoundedDominatingSet backjumps 530 1134199 124456 24608
WeightBoundedDominatingSet restarts 4 2506 351.344827586207 103
WeightBoundedDominatingSet jumps 530 1134199 124456 24608
WeightBoundedDominatingSet atoms 2480 7187 3709.27586206897 3321
WeightBoundedDominatingSet rules 3356 12863 5896.31034482759 4606
WeightBoundedDominatingSet bodies 3817 42289 14172.6896551724 5630
WeightBoundedDominatingSet equivalences 2895 6252 4336.58620689655 4369
WeightBoundedDominatingSet variables 1209 15064 4906.8275862069 1745
WeightBoundedDominatingSet eliminated 0 0 0 0
WeightBoundedDominatingSet frozen 70 244 164.379310344828 174
WeightBoundedDominatingSet constraints 3817 42289 14172.6896551724 5630
WeightBoundedDominatingSet nHornClauses 100 200 148.275862068966 150
WeightBoundedDominatingSet nDualHornClauses 160 340 245.034482758621 248
WeightBoundedDominatingSet maxClauseSize 101 201 149.275862068966 151
WeightBoundedDominatingSet maxPositiveClauseSize 101 201 149.275862068966 151
WeightBoundedDominatingSet maxNegativeClauseSize 2 2 2 2
WeightBoundedDominatingSet numVPosLitH 258 581 412.827586206897 419
WeightBoundedDominatingSet numVPosLit 100 200 148.275862068966 150
WeightBoundedDominatingSet numVNegLitH 161 345 249.206896551724 251
WeightBoundedDominatingSet numVNegLit 100 200 148.275862068966 150
WeightBoundedDominatingSet maxPosRSizeC 101 201 149.275862068966 151
WeightBoundedDominatingSet maxPosRSizeNC 2 2 2 2
WeightBoundedDominatingSet numAtomOccC 1675 3495 2547.20689655172 2580
WeightBoundedDominatingSet numAtomOccNC 1294 2636 1945.03448275862 1966
WeightBoundedDominatingSet maxNumAtomOcc 101 201 149.275862068966 151
WeightBoundedDominatingSet maxNumPosOccA 101 201 149.275862068966 151
WeightBoundedDominatingSet maxNumNegOccA 1 1 1 1
WeightBoundedDominatingSet dWidth Inf -Inf NaN NA
WeightBoundedDominatingSet dEdges 1603 3339 2429.34482758621 2464
WeightBoundedDominatingSet dNodes 780 1620 1180.20689655172 1196
WeightBoundedDominatingSet iWidth Inf -Inf NaN NA
WeightBoundedDominatingSet iEdges 1603 3339 2429.34482758621 2464
WeightBoundedDominatingSet iNodes 780 1620 1180.20689655172 1196
WeightBoundedDominatingSetSuite time_CPU 0.016 1.672 0.725 0.625
WeightBoundedDominatingSetSuite choices 1465 64677 30217.8 32281
WeightBoundedDominatingSetSuite conflicts 536 40895 19515.2 22686
WeightBoundedDominatingSetSuite backtracks 0 7 1.6 0
WeightBoundedDominatingSetSuite backjumps 536 40895 19513.6 22686
WeightBoundedDominatingSetSuite restarts 5 164 87.2 99
WeightBoundedDominatingSetSuite jumps 536 40895 19513.6 22686
WeightBoundedDominatingSetSuite atoms 2480 3955 3279.4 3321
WeightBoundedDominatingSetSuite rules 3418 6874 4790.2 4545
WeightBoundedDominatingSetSuite bodies 4145 21238 8321.2 5380
WeightBoundedDominatingSetSuite equivalences 2945 6252 5031 5813
WeightBoundedDominatingSetSuite variables 1283 7509 2769.6 1682
WeightBoundedDominatingSetSuite eliminated 0 0 0 0
WeightBoundedDominatingSetSuite frozen 103 244 200 237
WeightBoundedDominatingSetSuite constraints 4145 21238 8321.2 5380
WeightBoundedDominatingSetSuite nHornClauses 100 200 170 200
WeightBoundedDominatingSetSuite nDualHornClauses 162 340 283.8 334
WeightBoundedDominatingSetSuite maxClauseSize 101 201 171 201
WeightBoundedDominatingSetSuite maxPositiveClauseSize 101 201 171 201
WeightBoundedDominatingSetSuite maxNegativeClauseSize 2 2 2 2
WeightBoundedDominatingSetSuite numVPosLitH 272 568 474.8 555
WeightBoundedDominatingSetSuite numVPosLit 163 345 287.8 339
WeightBoundedDominatingSetSuite numVNegLitH 163 345 287.8 339
WeightBoundedDominatingSetSuite numVNegLit 163 345 287.8 339
WeightBoundedDominatingSetSuite maxPosRSizeC 101 201 171 201
WeightBoundedDominatingSetSuite maxPosRSizeNC 2 2 2 2
WeightBoundedDominatingSetSuite numAtomOccC 1694 3495 2938.6 3452
WeightBoundedDominatingSetSuite numAtomOccNC 1324 2636 2236.4 2622
WeightBoundedDominatingSetSuite maxNumAtomOcc 101 201 171 201
WeightBoundedDominatingSetSuite maxNumPosOccA 101 201 171 201
WeightBoundedDominatingSetSuite maxNumNegOccA 1 1 1 1
WeightBoundedDominatingSetSuite dWidth Inf -Inf NaN NA
WeightBoundedDominatingSetSuite dEdges 1624 3339 2807.8 3300
WeightBoundedDominatingSetSuite dNodes 786 1620 1363.2 1606
WeightBoundedDominatingSetSuite iWidth Inf -Inf NaN NA
WeightBoundedDominatingSetSuite iEdges 1624 3339 2807.8 3300
WeightBoundedDominatingSetSuite iNodes 786 1620 1363.2 1606
HamiltonianCycle time_CPU 0.031 0.109 0.053 0.031
HamiltonianCycle choices 3613 12432 6672.4 4812
HamiltonianCycle conflicts 222 1137 498 408
HamiltonianCycle backtracks 0 1 0.4 0
HamiltonianCycle backjumps 222 1137 497.6 408
HamiltonianCycle restarts 2 7 3.8 4
HamiltonianCycle jumps 222 1137 497.6 408
HamiltonianCycle atoms 5203 11603 7003 5203
HamiltonianCycle rules 7802 17402 10511.2 7820
HamiltonianCycle bodies 5862 13146 7924.8 5896
HamiltonianCycle equivalences 6603 14803 8903 6603
HamiltonianCycle variables 4081 9173 5512.8 4089
HamiltonianCycle eliminated 0 0 0 0
HamiltonianCycle frozen 3261 7345 4414.6 3277
HamiltonianCycle constraints 5862 13146 7924.8 5896
HamiltonianCycle nHornClauses 100 200 130 100
HamiltonianCycle nDualHornClauses 1781 3973 2402.8 1789
HamiltonianCycle maxClauseSize 27 32 28.2 27
HamiltonianCycle maxPositiveClauseSize 27 32 28.2 27
HamiltonianCycle maxNegativeClauseSize 1 1 1 1
HamiltonianCycle numVPosLitH 2500 5600 3370 2500
HamiltonianCycle numVPosLit 800 1800 1080 800
HamiltonianCycle numVNegLitH 100 200 130 100
HamiltonianCycle numVNegLit 0 0 0 0
HamiltonianCycle maxPosRSizeC 27 32 28.2 27
HamiltonianCycle maxPosRSizeNC 2 2 2 2
HamiltonianCycle numAtomOccC 13181 29573 17782.8 13189
HamiltonianCycle numAtomOccNC 2902 6402 3892 2902
HamiltonianCycle maxNumAtomOcc 300 600 390 300
HamiltonianCycle maxNumPosOccA 300 600 390 300
HamiltonianCycle maxNumNegOccA 1 1 1 1
HamiltonianCycle dWidth Inf -Inf NaN NA
HamiltonianCycle dEdges 11981 26773 16142.8 11989
HamiltonianCycle dNodes 6402 14202 8602 6402
HamiltonianCycle iWidth Inf -Inf NaN NA
HamiltonianCycle iEdges 11981 26773 16142.8 11989
HamiltonianCycle iNodes 6402 14202 8602 6402
GraphPartitioning time_CPU 0 0.063 0.0366666666666667 0.039
GraphPartitioning choices 33 1068 441.833333333333 234.5
GraphPartitioning conflicts 2 267 114.833333333333 98
GraphPartitioning backtracks 0 3 0.833333333333333 0.5
GraphPartitioning backjumps 2 264 114 97
GraphPartitioning restarts 0 2 1 1
GraphPartitioning jumps 2 264 114 97
GraphPartitioning atoms 843 6201 3511.83333333333 3889.5
GraphPartitioning rules 1844 15167 8499 9493.5
GraphPartitioning bodies 5619 58905 31988 35550.5
GraphPartitioning equivalences 693 2700 1768.16666666667 1840
GraphPartitioning variables 1692 17670 9607 10674.5
GraphPartitioning eliminated 0 0 0 0
GraphPartitioning frozen 765 8634 4731.16666666667 5396
GraphPartitioning constraints 5619 58905 31988 35550.5
GraphPartitioning nHornClauses 111 420 269.5 299
GraphPartitioning nDualHornClauses 939 12687 6814.83333333333 7719.5
GraphPartitioning maxClauseSize 76 301 196.833333333333 201
GraphPartitioning maxPositiveClauseSize 76 301 196.833333333333 201
GraphPartitioning maxNegativeClauseSize 14 29 21.5 21.5
GraphPartitioning numVPosLitH 333 4896 2591.5 2904.5
GraphPartitioning numVPosLit 45 180 113.333333333333 125.5
GraphPartitioning numVNegLitH 105 390 249.166666666667 274
GraphPartitioning numVNegLit 42 174 108.5 120
GraphPartitioning maxPosRSizeC 76 301 196.833333333333 201
GraphPartitioning maxPosRSizeNC 2 2 2 2
GraphPartitioning numAtomOccC 3810 47049 25272.1666666667 28462
GraphPartitioning numAtomOccNC 368 1370 908 947.5
GraphPartitioning maxNumAtomOcc 84 267 178.166666666667 195
GraphPartitioning maxNumPosOccA 84 267 178.166666666667 195
GraphPartitioning maxNumNegOccA 14 29 21.5 21.5
GraphPartitioning dWidth Inf -Inf NaN NA
GraphPartitioning dEdges 3768 46821 25140.8333333333 28318
GraphPartitioning dNodes 1430 18113 9757.66666666667 11012.5
GraphPartitioning iWidth Inf -Inf NaN NA
GraphPartitioning iEdges 3768 46821 25140.8333333333 28318
GraphPartitioning iNodes 1430 18113 9757.66666666667 11012.5
ConnectedDominatingSet time_CPU 0 18.797 2.8547 0.336
ConnectedDominatingSet choices 119 195309 38236.7 6855.5
ConnectedDominatingSet conflicts 82 181907 35314 6219
ConnectedDominatingSet backtracks 0 7 3.2 3.5
ConnectedDominatingSet backjumps 80 181905 35310.8 6217
ConnectedDominatingSet restarts 1 637 168.9 55
ConnectedDominatingSet jumps 80 181905 35310.8 6217
ConnectedDominatingSet atoms 767 2432 1405.8 1298
ConnectedDominatingSet rules 1812 5792 3310.9 3014.5
ConnectedDominatingSet bodies 3919 15549 8312.1 7424
ConnectedDominatingSet equivalences 924 2674 1560.7 1191.5
ConnectedDominatingSet variables 1034 3849 2138 1927
ConnectedDominatingSet eliminated 0 0 0 0
ConnectedDominatingSet frozen 480 1380 806.2 625
ConnectedDominatingSet constraints 3919 15549 8312.1 7424
ConnectedDominatingSet nHornClauses 121 271 182.5 173.5
ConnectedDominatingSet nDualHornClauses 401 1201 686.2 501
ConnectedDominatingSet maxClauseSize 41 91 61.5 58.5
ConnectedDominatingSet maxPositiveClauseSize 41 91 61.5 58.5
ConnectedDominatingSet maxNegativeClauseSize 39 89 59.5 56.5
ConnectedDominatingSet numVPosLitH 120 270 181.5 172.5
ConnectedDominatingSet numVPosLit 40 90 60.5 57.5
ConnectedDominatingSet numVNegLitH 119 269 180.5 171.5
ConnectedDominatingSet numVNegLit 39 89 59.5 56.5
ConnectedDominatingSet maxPosRSizeC 41 91 61.5 58.5
ConnectedDominatingSet maxPosRSizeNC 1 1 1 1
ConnectedDominatingSet numAtomOccC 3221 10996 6006 5138.5
ConnectedDominatingSet numAtomOccNC 445 1295 753.1 567.5
ConnectedDominatingSet maxNumAtomOcc 81 181 122 116
ConnectedDominatingSet maxNumPosOccA 81 181 122 116
ConnectedDominatingSet maxNumNegOccA 39 89 59.5 56.5
ConnectedDominatingSet dWidth 125 139 132 132
ConnectedDominatingSet dEdges 3185 10910 5949.5 5080
ConnectedDominatingSet dNodes 1087 3037 1800.9 1444.5
ConnectedDominatingSet iWidth Inf -Inf NaN NA
ConnectedDominatingSet iEdges 3185 10910 5949.5 5080
ConnectedDominatingSet iNodes 1087 3037 1800.9 1444.5
TravellingSalesperson time_CPU 0 0.031 0.0120689655172414 0.016
TravellingSalesperson choices 140 2543 353.862068965517 214
TravellingSalesperson conflicts 11 754 68.3793103448276 23
TravellingSalesperson backtracks 0 4 1 1
TravellingSalesperson backjumps 11 753 67.3793103448276 23
TravellingSalesperson restarts 0 6 0.448275862068966 0
TravellingSalesperson jumps 11 753 67.3793103448276 23
TravellingSalesperson atoms 2524 2864 2641.24137931034 2524
TravellingSalesperson rules 4204 5022 4543.20689655172 4390
TravellingSalesperson bodies 1738 2208 1954.10344827586 1924
TravellingSalesperson equivalences 3745 4245 3917.41379310345 3745
TravellingSalesperson variables 1379 1591 1460.31034482759 1401
TravellingSalesperson eliminated 0 0 0 0
TravellingSalesperson frozen 1239 1431 1313.41379310345 1261
TravellingSalesperson constraints 1738 2208 1954.10344827586 1924
TravellingSalesperson nHornClauses 209 239 219.344827586207 209
TravellingSalesperson nDualHornClauses 879 1043 934.551724137931 884
TravellingSalesperson maxClauseSize 601 681 628.586206896552 601
TravellingSalesperson maxPositiveClauseSize 601 681 628.586206896552 601
TravellingSalesperson maxNegativeClauseSize 1 1 1 1
TravellingSalesperson numVPosLitH 809 919 846.931034482759 809
TravellingSalesperson numVPosLit 600 680 627.586206896552 600
TravellingSalesperson numVNegLitH 209 239 219.344827586207 209
TravellingSalesperson numVNegLit 0 0 0 0
TravellingSalesperson maxPosRSizeC 601 681 628.586206896552 601
TravellingSalesperson maxPosRSizeNC 2 2 2 2
TravellingSalesperson numAtomOccC 6701 7749 7060.06896551724 6720
TravellingSalesperson numAtomOccNC 1855 2105 1941.20689655172 1855
TravellingSalesperson maxNumAtomOcc 356 466 393.620689655172 365
TravellingSalesperson maxNumPosOccA 356 466 393.620689655172 365
TravellingSalesperson maxNumNegOccA 1 1 1 1
TravellingSalesperson dWidth 157 190 174.526315789474 175
TravellingSalesperson dEdges 5783 6711 6100.68965517241 5802
TravellingSalesperson dNodes 2185 2537 2305.72413793103 2192
TravellingSalesperson iWidth Inf -Inf NaN NA
TravellingSalesperson iEdges 5783 6711 6100.68965517241 5802
TravellingSalesperson iNodes 2185 2537 2305.72413793103 2192
TravelingSalespersonSuite time_CPU 0.016 4.047 0.8468 0.031
TravelingSalespersonSuite choices 1009 92633 22090.4 5426
TravelingSalespersonSuite conflicts 171 59466 12732 1246
TravelingSalespersonSuite backtracks 1 15 6 5
TravelingSalespersonSuite backjumps 166 59451 12726 1245
TravelingSalespersonSuite restarts 2 189 43.4 8
TravelingSalespersonSuite jumps 166 59451 12726 1245
TravelingSalespersonSuite atoms 2685 3045 2757 2685
TravelingSalespersonSuite rules 3985 4649 4133.4 4005
TravelingSalespersonSuite bodies 2553 3033 2664.6 2577
TravelingSalespersonSuite equivalences 3745 4245 3845 3745
TravelingSalespersonSuite variables 1560 1774 1603.6 1561
TravelingSalespersonSuite eliminated 0 0 0 0
TravelingSalespersonSuite frozen 1537 1752 1584.4 1541
TravelingSalespersonSuite constraints 2553 3033 2664.6 2577
TravelingSalespersonSuite nHornClauses 70 80 72 70
TravelingSalespersonSuite nDualHornClauses 731 835 752.6 732
TravelingSalespersonSuite maxClauseSize 301 341 309 301
TravelingSalespersonSuite maxPositiveClauseSize 301 341 309 301
TravelingSalespersonSuite maxNegativeClauseSize 1 1 1 1
TravelingSalespersonSuite numVPosLitH 970 1100 996 970
TravelingSalespersonSuite numVPosLit 970 1100 996 970
TravelingSalespersonSuite numVNegLitH 70 80 72 70
TravelingSalespersonSuite numVNegLit 70 80 72 70
TravelingSalespersonSuite maxPosRSizeC 301 341 309 301
TravelingSalespersonSuite maxPosRSizeNC 2 2 2 2
TravelingSalespersonSuite numAtomOccC 5371 6095 5516.6 5372
TravelingSalespersonSuite numAtomOccNC 1855 2105 1905 1855
TravelingSalespersonSuite maxNumAtomOcc 211 241 217 211
TravelingSalespersonSuite maxNumPosOccA 211 241 217 211
TravelingSalespersonSuite maxNumNegOccA 1 1 1 1
TravelingSalespersonSuite dWidth 98 104 102.5 104
TravelingSalespersonSuite dEdges 5053 5737 5190.6 5054
TravelingSalespersonSuite dNodes 2665 3025 2737 2665
TravelingSalespersonSuite iWidth Inf -Inf NaN NA
TravelingSalespersonSuite iEdges 5053 5737 5190.6 5054
TravelingSalespersonSuite iNodes 2665 3025 2737 2665
Solitaire time_CPU 0.047 133.141 8.90647619047619 0.094
Solitaire choices 474 852600 74035.5714285714 2146
Solitaire conflicts 37 672557 55581 775
Solitaire backtracks 0 4 0.476190476190476 0
Solitaire backjumps 37 672554 55580.5238095238 775
Solitaire restarts 0 1555 140.952380952381 5
Solitaire jumps 37 672554 55580.5238095238 775
Solitaire atoms 7641 9546 8594 8595
Solitaire rules 20493 25692 23094 23097
Solitaire bodies 24272 31967 28250.6666666667 28513
Solitaire equivalences 6416 7994 7191 7163
Solitaire variables 7576 9721 8660.66666666667 8685
Solitaire eliminated 0 0 0 0
Solitaire frozen 0 0 0 0
Solitaire constraints 24272 31967 28250.6666666667 28513
Solitaire nHornClauses 4312 5428 4870 4870
Solitaire nDualHornClauses 1796 2264 2030 2030
Solitaire maxClauseSize 77 77 77 77
Solitaire maxPositiveClauseSize 77 77 77 77
Solitaire maxNegativeClauseSize 2 2 2 2
Solitaire numVPosLitH 3681 4646 4164.33333333333 4166
Solitaire numVPosLit 1749 2208 1979 1980
Solitaire numVNegLitH 1899 2405 2152.33333333333 2153
Solitaire numVNegLit 0 0 0 0
Solitaire maxPosRSizeC 77 77 77 77
Solitaire maxPosRSizeNC 2 2 2 2
Solitaire numAtomOccC 34644 43644 39148 39156
Solitaire numAtomOccNC 930 968 945.666666666667 945
Solitaire maxNumAtomOcc 5370 6752 6061.33333333333 6062
Solitaire maxNumPosOccA 5370 6752 6061.33333333333 6062
Solitaire maxNumNegOccA 8 8 8 8
Solitaire dWidth 128 164 146 146
Solitaire dEdges 33568 42104 37836.6666666667 37838
Solitaire dNodes 15741 19715 17728.3333333333 17729
Solitaire iWidth Inf -Inf NaN NA
Solitaire iEdges 33568 42104 37836.6666666667 37838
Solitaire iNodes 15741 19715 17728.3333333333 17729
SolitaireBackward time_CPU 0.031 7.75 2.30475 0.719
SolitaireBackward choices 295 412758 124993.25 43460
SolitaireBackward conflicts 132 69404 20881.75 6995.5
SolitaireBackward backtracks 0 2 0.5 0
SolitaireBackward backjumps 132 69404 20881.25 6994.5
SolitaireBackward restarts 1 207 66.75 29.5
SolitaireBackward jumps 132 69404 20881.25 6994.5
SolitaireBackward atoms 5858 11258 8912.25 9266.5
SolitaireBackward rules 16569 32361 25485.5 26506
SolitaireBackward bodies 21732 41118 32762.25 34099.5
SolitaireBackward equivalences 2014 3850 3046.75 3161.5
SolitaireBackward variables 6335 11711 9409.25 9795.5
SolitaireBackward eliminated 0 0 0 0
SolitaireBackward frozen 34 34 34 34
SolitaireBackward constraints 21732 41118 32762.25 34099.5
SolitaireBackward nHornClauses 1750 3466 2715.25 2822.5
SolitaireBackward nDualHornClauses 938 1874 1464.5 1523
SolitaireBackward maxClauseSize 133 133 133 133
SolitaireBackward maxPositiveClauseSize 133 133 133 133
SolitaireBackward maxNegativeClauseSize 1 1 1 1
SolitaireBackward numVPosLitH 2145 4257 3333 3465
SolitaireBackward numVPosLit 2133 4233 3314.25 3445.5
SolitaireBackward numVNegLitH 441 849 670.5 696
SolitaireBackward numVNegLit 429 825 651.75 676.5
SolitaireBackward maxPosRSizeC 133 133 133 133
SolitaireBackward maxPosRSizeNC 2 2 2 2
SolitaireBackward numAtomOccC 28703 57239 44754.5 46538
SolitaireBackward numAtomOccNC 1424 2804 2200.25 2286.5
SolitaireBackward maxNumAtomOcc 1610 3218 2514.5 2615
SolitaireBackward maxNumPosOccA 1610 3218 2514.5 2615
SolitaireBackward maxNumNegOccA 2 2 2 2
SolitaireBackward dWidth 129 129 129 129
SolitaireBackward dEdges 28458 56778 44388 46158
SolitaireBackward dNodes 14639 29171 22813.25 23721.5
SolitaireBackward iWidth Inf -Inf NaN NA
SolitaireBackward iEdges 28458 56778 44388 46158
SolitaireBackward iNodes 14639 29171 22813.25 23721.5
SolitaireForward time_CPU 0.031 9.375 1.922 0.063
SolitaireForward choices 184 466664 93686.4 552
SolitaireForward conflicts 10 81278 16337.6 122
SolitaireForward backtracks 0 0 0 0
SolitaireForward backjumps 10 81278 16337.6 122
SolitaireForward restarts 0 218 44.2 1
SolitaireForward jumps 10 81278 16337.6 122
SolitaireForward atoms 6753 13608 9769.2 9038
SolitaireForward rules 19666 39616 28444 26316
SolitaireForward bodies 21360 46005 32203.8 29575
SolitaireForward equivalences 6921 13791 9943.8 9211
SolitaireForward variables 6203 13178 9272 8528
SolitaireForward eliminated 0 0 0 0
SolitaireForward frozen 0 0 0 0
SolitaireForward constraints 21360 46005 32203.8 29575
SolitaireForward nHornClauses 2069 4214 3012.8 2784
SolitaireForward nDualHornClauses 1094 2264 1608.8 1484
SolitaireForward maxClauseSize 133 133 133 133
SolitaireForward maxPositiveClauseSize 133 133 133 133
SolitaireForward maxNegativeClauseSize 1 1 1 1
SolitaireForward numVPosLitH 2479 5119 3640.6 3359
SolitaireForward numVPosLit 2464 5089 3619 3339
SolitaireForward numVNegLitH 478 988 702.4 648
SolitaireForward numVNegLit 463 958 680.8 628
SolitaireForward maxPosRSizeC 133 133 133 133
SolitaireForward maxPosRSizeNC 4 4 4 4
SolitaireForward numAtomOccC 33673 69343 49367.8 45563
SolitaireForward numAtomOccNC 3385 5110 4144 3960
SolitaireForward maxNumAtomOcc 2006 4016 2890.4 2676
SolitaireForward maxNumPosOccA 2006 4016 2890.4 2676
SolitaireForward maxNumNegOccA 2 2 2 2
SolitaireForward dWidth 129 129 129 129
SolitaireForward dEdges 34979 70379 50555 46779
SolitaireForward dNodes 18044 36209 26036.6 24099
SolitaireForward iWidth Inf -Inf NaN NA
SolitaireForward iEdges 34979 70379 50555 46779
SolitaireForward iNodes 18044 36209 26036.6 24099
searchTest-plain time_CPU 0.078 0.078 0.078 0.078
searchTest-plain choices 2 2 2 2
searchTest-plain conflicts 0 0 0 0
searchTest-plain backtracks 0 0 0 0
searchTest-plain backjumps 0 0 0 0
searchTest-plain restarts 0 0 0 0
searchTest-plain jumps 0 0 0 0
searchTest-plain atoms 997 997 997 997
searchTest-plain rules 49535 49535 49535 49535
searchTest-plain bodies 19804 19804 19804 19804
searchTest-plain equivalences 3675 3675 3675 3675
searchTest-plain variables 3643 3643 3643 3643
searchTest-plain eliminated 0 0 0 0
searchTest-plain frozen 0 0 0 0
searchTest-plain constraints 19804 19804 19804 19804
searchTest-plain nHornClauses 7588 7588 7588 7588
searchTest-plain nDualHornClauses 40671 40671 40671 40671
searchTest-plain maxClauseSize 11 11 11 11
searchTest-plain maxPositiveClauseSize 8 8 8 8
searchTest-plain maxNegativeClauseSize 9 9 9 9
searchTest-plain numVPosLitH 200 200 200 200
searchTest-plain numVPosLit 0 0 0 0
searchTest-plain numVNegLitH 98 98 98 98
searchTest-plain numVNegLit 0 0 0 0
searchTest-plain maxPosRSizeC 8 8 8 8
searchTest-plain maxPosRSizeNC 8 8 8 8
searchTest-plain numAtomOccC 143638 143638 143638 143638
searchTest-plain numAtomOccNC 60236 60236 60236 60236
searchTest-plain maxNumAtomOcc 3508 3508 3508 3508
searchTest-plain maxNumPosOccA 3508 3508 3508 3508
searchTest-plain maxNumNegOccA 129 129 129 129
searchTest-plain dWidth 218 218 218 218
searchTest-plain dEdges 201237 201237 201237 201237
searchTest-plain dNodes 50157 50157 50157 50157
searchTest-plain iWidth Inf -Inf NaN NA
searchTest-plain iEdges 201237 201237 201237 201237
searchTest-plain iNodes 50157 50157 50157 50157
Sudoku time_CPU 0 0.219 0.1284 0.188
Sudoku choices 0 57 11.4 0
Sudoku conflicts 0 22 4.4 0
Sudoku backtracks 0 2 0.4 0
Sudoku backjumps 0 20 4 0
Sudoku restarts 0 0 0 0
Sudoku jumps 0 20 4 0
Sudoku atoms 1415 20996 13140.4 20884
Sudoku rules 4284 73238 45610 73014
Sudoku bodies 0 2776 555.2 0
Sudoku equivalences 834 16472 10162.4 16206
Sudoku variables 1033 18092 11261.4 18071
Sudoku eliminated 0 0 0 0
Sudoku frozen 405 9225 4603.8 6425
Sudoku constraints 0 2776 555.2 0
Sudoku nHornClauses 359 2868 1841.2 2756
Sudoku nDualHornClauses 648 5000 3259.2 5000
Sudoku maxClauseSize 10 26 19.6 26
Sudoku maxPositiveClauseSize 10 26 19.6 26
Sudoku maxNegativeClauseSize 1 1 1 1
Sudoku numVPosLitH 1033 18092 11261.4 18071
Sudoku numVPosLit 729 15625 9666.6 15625
Sudoku numVNegLitH 340 2814 1806.4 2723
Sudoku numVNegLit 35 368 211.6 256
Sudoku maxPosRSizeC 10 26 19.6 26
Sudoku maxPosRSizeNC 2 2 2 2
Sudoku numAtomOccC 10076 198128 122871.2 197946
Sudoku numAtomOccNC 717 5478 3542.4 5324
Sudoku maxNumAtomOcc 683 5368 3470.8 5256
Sudoku maxNumPosOccA 683 5368 3470.8 5256
Sudoku maxNumNegOccA 1 1 1 1
Sudoku dWidth 181 181 181 181
Sudoku dEdges 7846 140736 87533.6 140512
Sudoku dNodes 2710 30995 19657.8 30883
Sudoku iWidth Inf -Inf NaN NA
Sudoku iEdges 7846 140736 87533.6 140512
Sudoku iNodes 2710 30995 19657.8 30883
SolitaireBackward2 time_CPU 0.609 4.906 2.99966666666667 3.484
SolitaireBackward2 choices 40371 171102 115247 134268
SolitaireBackward2 conflicts 22317 112320 74613.3333333333 89203
SolitaireBackward2 backtracks 0 0 0 0
SolitaireBackward2 backjumps 22317 112320 74613.3333333333 89203
SolitaireBackward2 restarts 77 312 214 253
SolitaireBackward2 jumps 22317 112320 74613.3333333333 89203
SolitaireBackward2 atoms 2407 2716 2544.33333333333 2510
SolitaireBackward2 rules 22080 25160 23447.6666666667 23103
SolitaireBackward2 bodies 11384 13036 12118.3333333333 11935
SolitaireBackward2 equivalences 3152 3542 3324.33333333333 3279
SolitaireBackward2 variables 1850 2111 1966 1937
SolitaireBackward2 eliminated 0 0 0 0
SolitaireBackward2 frozen 716 818 761.333333333333 750
SolitaireBackward2 constraints 11384 13036 12118.3333333333 11935
SolitaireBackward2 nHornClauses 10841 12394 11532 11361
SolitaireBackward2 nDualHornClauses 18182 20767 19329.6666666667 19040
SolitaireBackward2 maxClauseSize 50 50 50 50
SolitaireBackward2 maxPositiveClauseSize 50 50 50 50
SolitaireBackward2 maxNegativeClauseSize 4 4 4 4
SolitaireBackward2 numVPosLitH 1850 2111 1966 1937
SolitaireBackward2 numVPosLit 1806 2061 1919.33333333333 1891
SolitaireBackward2 numVNegLitH 1806 2061 1919.33333333333 1891
SolitaireBackward2 numVNegLit 1762 2011 1872.66666666667 1845
SolitaireBackward2 maxPosRSizeC 50 50 50 50
SolitaireBackward2 maxPosRSizeNC 2 2 2 2
SolitaireBackward2 numAtomOccC 97554 111402 103705 102159
SolitaireBackward2 numAtomOccNC 1314 1461 1379.33333333333 1363
SolitaireBackward2 maxNumAtomOcc 19674 22445 20904.3333333333 20594
SolitaireBackward2 maxNumPosOccA 19674 22445 20904.3333333333 20594
SolitaireBackward2 maxNumNegOccA 17 17 17 17
SolitaireBackward2 dWidth Inf -Inf NaN NA
SolitaireBackward2 dEdges 96550 110248 102634.333333333 101105
SolitaireBackward2 dNodes 22020 25115 23394.3333333333 23048
SolitaireBackward2 iWidth Inf -Inf NaN NA
SolitaireBackward2 iEdges 96550 110248 102634.333333333 101105
SolitaireBackward2 iNodes 22020 25115 23394.3333333333 23048
StrategicCompanies time_CPU 0 267.438 90.7656666666667 4.859
StrategicCompanies choices 3 3604632 1244726.33333333 129544
StrategicCompanies conflicts 3 3137534 1082718.66666667 110619
StrategicCompanies backtracks 0 7 2.66666666666667 1
StrategicCompanies backjumps 2 3137534 1082716 110612
StrategicCompanies restarts 0 6140 2216.66666666667 510
StrategicCompanies jumps 2 3137534 1082716 110612
StrategicCompanies atoms 142 7702 4948.66666666667 7002
StrategicCompanies rules 260 14303 9188.66666666667 13003
StrategicCompanies bodies 494 65191 41646 59253
StrategicCompanies equivalences 316 17601 11309.3333333333 16011
StrategicCompanies variables 118 12492 7991.66666666667 11365
StrategicCompanies eliminated 0 0 0 0
StrategicCompanies frozen 89 6050 3879.66666666667 5500
StrategicCompanies constraints 494 65191 41646 59253
StrategicCompanies nHornClauses 2 2 2 2
StrategicCompanies nDualHornClauses 100 5500 3533.33333333333 5000
StrategicCompanies maxClauseSize 5 5 5 5
StrategicCompanies maxPositiveClauseSize 5 5 5 5
StrategicCompanies maxNegativeClauseSize 1 1 1 1
StrategicCompanies numVPosLitH 10 550 353.333333333333 500
StrategicCompanies numVPosLit 10 550 353.333333333333 500
StrategicCompanies numVNegLitH 2 2 2 2
StrategicCompanies numVNegLit 2 2 2 2
StrategicCompanies maxPosRSizeC 5 5 5 5
StrategicCompanies maxPosRSizeNC 1 1 1 1
StrategicCompanies numAtomOccC 624 34104 21910.6666666667 31004
StrategicCompanies numAtomOccNC 131 7151 4594.33333333333 6501
StrategicCompanies maxNumAtomOcc 79 86 82.3333333333333 82
StrategicCompanies maxNumPosOccA 78 86 82 82
StrategicCompanies maxNumNegOccA 1 1 1 1
StrategicCompanies dWidth 10 104 69.3333333333333 94
StrategicCompanies dEdges 445 27229 17467.6666666667 24729
StrategicCompanies dNodes 114 6054 3890.66666666667 5504
StrategicCompanies iWidth Inf -Inf NaN NA
StrategicCompanies iEdges 445 27229 17467.6666666667 24729
StrategicCompanies iNodes 114 6054 3890.66666666667 5504
verifyTest-variableSearchSpace time_CPU 0.016 0.031 0.019 0.016
verifyTest-variableSearchSpace choices 450 1904 1072.8 749
verifyTest-variableSearchSpace conflicts 176 742 406.2 275
verifyTest-variableSearchSpace backtracks 13 24 18.8 19
verifyTest-variableSearchSpace backjumps 163 718 387.4 256
verifyTest-variableSearchSpace restarts 2 6 3.4 2
verifyTest-variableSearchSpace jumps 163 718 387.4 256
verifyTest-variableSearchSpace atoms 2252 2252 2252 2252
verifyTest-variableSearchSpace rules 12132 12165 12149.4 12150
verifyTest-variableSearchSpace bodies 1790 2736 2288.8 2306
verifyTest-variableSearchSpace equivalences 3429 3605 3521.8 3525
verifyTest-variableSearchSpace variables 482 713 603.8 608
verifyTest-variableSearchSpace eliminated 0 0 0 0
verifyTest-variableSearchSpace frozen 0 0 0 0
verifyTest-variableSearchSpace constraints 1790 2736 2288.8 2306
verifyTest-variableSearchSpace nHornClauses 1290 1312 1301.6 1302
verifyTest-variableSearchSpace nDualHornClauses 9029 9073 9052.2 9053
verifyTest-variableSearchSpace maxClauseSize 8 8 8 8
verifyTest-variableSearchSpace maxPositiveClauseSize 8 8 8 8
verifyTest-variableSearchSpace maxNegativeClauseSize 1 1 1 1
verifyTest-variableSearchSpace numVPosLitH 490 523 507.4 508
verifyTest-variableSearchSpace numVPosLit 0 0 0 0
verifyTest-variableSearchSpace numVNegLitH 298 331 315.4 316
verifyTest-variableSearchSpace numVNegLit 0 0 0 0
verifyTest-variableSearchSpace maxPosRSizeC 8 8 8 8
verifyTest-variableSearchSpace maxPosRSizeNC 8 8 8 8
verifyTest-variableSearchSpace numAtomOccC 31459 32284 31894 31909
verifyTest-variableSearchSpace numAtomOccNC 31258 31940 31580.4 31568
verifyTest-variableSearchSpace maxNumAtomOcc 2178 2178 2178 2178
verifyTest-variableSearchSpace maxNumPosOccA 2178 2178 2178 2178
verifyTest-variableSearchSpace maxNumNegOccA 8 8 8 8
verifyTest-variableSearchSpace dWidth 136 143 139.6 139
verifyTest-variableSearchSpace dEdges 62169 62345 62261.8 62265
verifyTest-variableSearchSpace dNodes 13702 13790 13748.4 13750
verifyTest-variableSearchSpace iWidth Inf -Inf NaN NA
verifyTest-variableSearchSpace iEdges 62169 62345 62261.8 62265
verifyTest-variableSearchSpace iNodes 13702 13790 13748.4 13750
WireRouting time_CPU 0.172 529.75 85.694 5.7815
WireRouting choices 1844 1672743 314947.916666667 39076.5
WireRouting conflicts 1104 1149901 197652.083333333 24443.5
WireRouting backtracks 0 0 0 0
WireRouting backjumps 1104 1149901 197652.083333333 24443.5
WireRouting restarts 8 2236 435.75 99
WireRouting jumps 1104 1149901 197652.083333333 24443.5
WireRouting atoms 3415 13816 8573.41666666667 8295.5
WireRouting rules 12263 64906 36779 34618.5
WireRouting bodies 19609 108226 61122.9166666667 56250
WireRouting equivalences 7358 30276 16954 15628.5
WireRouting variables 5330 25376 15170.9166666667 14350.5
WireRouting eliminated 0 0 0 0
WireRouting frozen 1881 8415 5108.5 4926.5
WireRouting constraints 19609 108226 61122.9166666667 56250
WireRouting nHornClauses 940 3888 2409.58333333333 2353.5
WireRouting nDualHornClauses 5154 35030 18590.4166666667 17213.5
WireRouting maxClauseSize 6 9 7.5 7.5
WireRouting maxPositiveClauseSize 6 9 7.5 7.5
WireRouting maxNegativeClauseSize 1 1 1 1
WireRouting numVPosLitH 2538 11450 6920.33333333333 6612.5
WireRouting numVPosLit 443 1881 1156.16666666667 1125.5
WireRouting numVNegLitH 391 1819 1062.41666666667 1001
WireRouting numVNegLit 5 8 6.25 6
WireRouting maxPosRSizeC 6 9 7.5 7.5
WireRouting maxPosRSizeNC 4 8 4.58333333333333 4
WireRouting numAtomOccC 25553 149284 82656.4166666667 77551
WireRouting numAtomOccNC 1735 6325 3902 3875
WireRouting maxNumAtomOcc 4757 33259 17516.9166666667 16202
WireRouting maxNumPosOccA 4757 33259 17516.9166666667 16202
WireRouting maxNumNegOccA 1 1 1 1
WireRouting dWidth 120 223 156 125
WireRouting dEdges 26873 154315 85801.9166666667 80608.5
WireRouting dNodes 12375 65701 37407.5833333333 35427.5
WireRouting iWidth Inf -Inf NaN NA
WireRouting iEdges 26873 154315 85801.9166666667 80608.5
WireRouting iNodes 12375 65701 37407.5833333333 35427.5
HierarchicalClustering time_CPU 0.031 0.219 0.08 0.0625
HierarchicalClustering choices 2550 29274 9423 8028.5
HierarchicalClustering conflicts 199 5677 1472.375 871
HierarchicalClustering backtracks 0 1 0.125 0
HierarchicalClustering backjumps 199 5676 1472.25 871
HierarchicalClustering restarts 2 30 9.25 7
HierarchicalClustering jumps 199 5676 1472.25 871
HierarchicalClustering atoms 1958 4752 3084.375 2617
HierarchicalClustering rules 9099 25984 16409.875 13488
HierarchicalClustering bodies 9076 24745 15688.375 12816.5
HierarchicalClustering equivalences 2352 6268 3836.375 3232.5
HierarchicalClustering variables 1163 2556 1778.25 1527
HierarchicalClustering eliminated 0 0 0 0
HierarchicalClustering frozen 605 1818 1039.75 911.5
HierarchicalClustering constraints 9076 24745 15688.375 12816.5
HierarchicalClustering nHornClauses 2118 6982 4282.75 4089
HierarchicalClustering nDualHornClauses 5296 17340 10134.25 7820
HierarchicalClustering maxClauseSize 51 101 74.75 66
HierarchicalClustering maxPositiveClauseSize 51 101 74.75 66
HierarchicalClustering maxNegativeClauseSize 1 1 1 1
HierarchicalClustering numVPosLitH 1051 2428 1640.875 1404
HierarchicalClustering numVPosLit 766 2022 1241.5 1042
HierarchicalClustering numVNegLitH 420 1100 675 672
HierarchicalClustering numVNegLit 180 500 301.25 300
HierarchicalClustering maxPosRSizeC 51 101 74.75 66
HierarchicalClustering maxPosRSizeNC 2 2 2 2
HierarchicalClustering numAtomOccC 23263 74004 46013.625 37930
HierarchicalClustering numAtomOccNC 894 2331 1389.875 1175
HierarchicalClustering maxNumAtomOcc 5116 17040 9834.25 7555
HierarchicalClustering maxNumPosOccA 5116 17040 9834.25 7555
HierarchicalClustering maxNumNegOccA 14 25 18.5 18.5
HierarchicalClustering dWidth 176 351 234.833333333333 222
HierarchicalClustering dEdges 23383 74208 46082.125 37901
HierarchicalClustering dNodes 7264 21368 13170 10517.5
HierarchicalClustering iWidth Inf -Inf NaN NA
HierarchicalClustering iEdges 23383 74208 46082.125 37901
HierarchicalClustering iNodes 7264 21368 13170 10517.5
Sokoban time_CPU 0 54.35 1.57819130434783 0.41
Sokoban choices 3 331924 27758.3304347826 6163
Sokoban conflicts 0 234157 12036.4086956522 2345
Sokoban backtracks 0 29 1.56521739130435 0
Sokoban backjumps 0 234151 12034.8434782609 2343
Sokoban restarts 0 1954 60.3391304347826 14
Sokoban jumps 0 234151 12034.8434782609 2343
Sokoban atoms 130 32148 18013.4434782609 19545
Sokoban rules 211 77374 44745.8608695652 48422
Sokoban bodies 102 108339 56142.7826086957 57690
Sokoban equivalences 223 38620 21766.3913043478 23224
Sokoban variables 49 34960 18487.652173913 19738
Sokoban eliminated 0 0 0 0
Sokoban frozen 0 1370 78.9826086956522 0
Sokoban constraints 102 108339 56142.7826086957 57690
Sokoban nHornClauses 38 9808 5415.80869565217 5713
Sokoban nDualHornClauses 18 5966 3491.73913043478 3554
Sokoban maxClauseSize 8 164 89.7565217391304 90
Sokoban maxPositiveClauseSize 8 164 89.7565217391304 90
Sokoban maxNegativeClauseSize 1 4 1.20869565217391 1
Sokoban numVPosLitH 52 14604 7620.33043478261 8275
Sokoban numVPosLit 49 14514 7490.92173913043 8235
Sokoban numVNegLitH 15 3918 1960.04347826087 2032
Sokoban numVNegLit 0 3918 1893.08695652174 2032
Sokoban maxPosRSizeC 8 164 89.7565217391304 90
Sokoban maxPosRSizeNC 4 93 9.29565217391304 4
Sokoban numAtomOccC 332 130530 75407.4086956522 80749
Sokoban numAtomOccNC 120 6983 2647.67826086957 1881
Sokoban maxNumAtomOcc 21 5927 3612.22608695652 3752
Sokoban maxNumPosOccA 21 5927 3612.22608695652 3752
Sokoban maxNumNegOccA 1 8 1.48695652173913 1
Sokoban dWidth 16 650 366.5 401
Sokoban dEdges 399 126562 74480.9826086956 79670
Sokoban dNodes 257 68144 40129.747826087 43162
Sokoban iWidth 448 489 468.5 468.5
Sokoban iEdges 399 126562 74480.9826086956 79670
Sokoban iNodes 257 68144 40129.747826087 43162
18-MinimalDiagnosis time_CPU 0 0.234 0.0849253731343284 0.078
18-MinimalDiagnosis choices 5 4932 124.44776119403 23
18-MinimalDiagnosis conflicts 0 54 5.77611940298507 0
18-MinimalDiagnosis backtracks 0 24 4.08955223880597 0
18-MinimalDiagnosis backjumps 0 43 1.6865671641791 0
18-MinimalDiagnosis restarts 0 0 0 0
18-MinimalDiagnosis jumps 0 43 1.6865671641791 0
18-MinimalDiagnosis atoms 239 31101 13385.7014925373 12023
18-MinimalDiagnosis rules 356 55035 23474.4776119403 21418
18-MinimalDiagnosis bodies 236 158314 51498.9701492537 48242
18-MinimalDiagnosis equivalences 333 22109 10142.8208955224 9177
18-MinimalDiagnosis variables 72 39145 12774.5671641791 12013
18-MinimalDiagnosis eliminated 0 0 0 0
18-MinimalDiagnosis frozen 35 13478 4344.98507462687 3966
18-MinimalDiagnosis constraints 236 158314 51498.9701492537 48242
18-MinimalDiagnosis nHornClauses 51 13059 4794.31343283582 4265
18-MinimalDiagnosis nDualHornClauses 221 46461 19597.3432835821 17995
18-MinimalDiagnosis maxClauseSize 6 6 6 6
18-MinimalDiagnosis maxPositiveClauseSize 6 6 6 6
18-MinimalDiagnosis maxNegativeClauseSize 1 1 1 1
18-MinimalDiagnosis numVPosLitH 40 14586 4745.20895522388 4447
18-MinimalDiagnosis numVPosLit 40 14586 4745.20895522388 4447
18-MinimalDiagnosis numVNegLitH 15 4917 1630.89552238806 1498
18-MinimalDiagnosis numVNegLit 15 4917 1630.89552238806 1498
18-MinimalDiagnosis maxPosRSizeC 6 6 6 6
18-MinimalDiagnosis maxPosRSizeNC 3 3 3 3
18-MinimalDiagnosis numAtomOccC 988 203168 81574.0895522388 75101
18-MinimalDiagnosis numAtomOccNC 189 7543 3430.28358208955 3030
18-MinimalDiagnosis maxNumAtomOcc 111 6851 2746.4328358209 2605
18-MinimalDiagnosis maxNumPosOccA 111 6851 2746.4328358209 2605
18-MinimalDiagnosis maxNumNegOccA 1 1 1 1
18-MinimalDiagnosis dWidth 13 729 278.03125 224.5
18-MinimalDiagnosis dEdges 1050 200952 80862.6865671642 74312
18-MinimalDiagnosis dNodes 383 66088 28618.6567164179 26852
18-MinimalDiagnosis iWidth Inf -Inf NaN NA
18-MinimalDiagnosis iEdges 1050 200952 80862.6865671642 74312
18-MinimalDiagnosis iNodes 383 66088 28618.6567164179 26852
WeightedLatinSquareCompetition time_CPU 0 0 0 0
WeightedLatinSquareCompetition choices 250 250 250 250
WeightedLatinSquareCompetition conflicts 188 188 188 188
WeightedLatinSquareCompetition backtracks 0 0 0 0
WeightedLatinSquareCompetition backjumps 188 188 188 188
WeightedLatinSquareCompetition restarts 2 2 2 2
WeightedLatinSquareCompetition jumps 188 188 188 188
WeightedLatinSquareCompetition atoms 662 662 662 662
WeightedLatinSquareCompetition rules 2941 2941 2941 2941
WeightedLatinSquareCompetition bodies 1734 1734 1734 1734
WeightedLatinSquareCompetition equivalences 661 661 661 661
WeightedLatinSquareCompetition variables 324 324 324 324
WeightedLatinSquareCompetition eliminated 0 0 0 0
WeightedLatinSquareCompetition frozen 216 216 216 216
WeightedLatinSquareCompetition constraints 1734 1734 1734 1734
WeightedLatinSquareCompetition nHornClauses 108 108 108 108
WeightedLatinSquareCompetition nDualHornClauses 222 222 222 222
WeightedLatinSquareCompetition maxClauseSize 37 37 37 37
WeightedLatinSquareCompetition maxPositiveClauseSize 37 37 37 37
WeightedLatinSquareCompetition maxNegativeClauseSize 1 1 1 1
WeightedLatinSquareCompetition numVPosLitH 324 324 324 324
WeightedLatinSquareCompetition numVPosLit 216 216 216 216
WeightedLatinSquareCompetition numVNegLitH 108 108 108 108
WeightedLatinSquareCompetition numVNegLit 0 0 0 0
WeightedLatinSquareCompetition maxPosRSizeC 37 37 37 37
WeightedLatinSquareCompetition maxPosRSizeNC 2 2 2 2
WeightedLatinSquareCompetition numAtomOccC 2382 2382 2382 2382
WeightedLatinSquareCompetition numAtomOccNC 451 451 451 451
WeightedLatinSquareCompetition maxNumAtomOcc 222 222 222 222
WeightedLatinSquareCompetition maxNumPosOccA 222 222 222 222
WeightedLatinSquareCompetition maxNumNegOccA 1 1 1 1
WeightedLatinSquareCompetition dWidth 86 86 86 86
WeightedLatinSquareCompetition dEdges 2178 2178 2178 2178
WeightedLatinSquareCompetition dNodes 884 884 884 884
WeightedLatinSquareCompetition iWidth Inf -Inf NaN NA
WeightedLatinSquareCompetition iEdges 2178 2178 2178 2178
WeightedLatinSquareCompetition iNodes 884 884 884 884
Fastfood time_CPU 0.063 0.75 0.1829 0.1015
Fastfood choices 45 4272 731.3 221.5
Fastfood conflicts 0 3707 613 164
Fastfood backtracks 0 1 0.1 0
Fastfood backjumps 0 3707 612.9 164
Fastfood restarts 0 27 4.8 2
Fastfood jumps 0 3707 612.9 164
Fastfood atoms 5500 5500 5500 5500
Fastfood rules 77534 77534 77534 77534
Fastfood bodies 83691 83691 83691 83691
Fastfood equivalences 2881 2881 2881 2881
Fastfood variables 5042 5042 5042 5042
Fastfood eliminated 0 0 0 0
Fastfood frozen 1581 1581 1581 1581
Fastfood constraints 83691 83691 83691 83691
Fastfood nHornClauses 1581 1581 1581 1581
Fastfood nDualHornClauses 3 3 3 3
Fastfood maxClauseSize 1534 1534 1534 1534
Fastfood maxPositiveClauseSize 1534 1534 1534 1534
Fastfood maxNegativeClauseSize 1 1 1 1
Fastfood numVPosLitH 3165 3165 3165 3165
Fastfood numVPosLit 47 47 47 47
Fastfood numVNegLitH 1559 1559 1559 1559
Fastfood numVNegLit 0 0 0 0
Fastfood maxPosRSizeC 48 48 48 48
Fastfood maxPosRSizeNC 1534 1534 1534 1534
Fastfood numAtomOccC 155020 155020 155020 155020
Fastfood numAtomOccNC 2073 2073 2073 2073
Fastfood maxNumAtomOcc 1985 1985 1985 1985
Fastfood maxNumPosOccA 1985 1985 1985 1985
Fastfood maxNumNegOccA 1 1 1 1
Fastfood dWidth Inf -Inf NaN NA
Fastfood dEdges 156555 156555 156555 156555
Fastfood dNodes 81538 81538 81538 81538
Fastfood iWidth Inf -Inf NaN NA
Fastfood iEdges 156555 156555 156555 156555
Fastfood iNodes 81538 81538 81538 81538
CarSequencing time_CPU 20.375 482.094 364.5312 429.797
CarSequencing choices 970370 17161576 13647111.2 16471017
CarSequencing conflicts 486797 8385268 6342577.4 7227777
CarSequencing backtracks 0 0 0 0
CarSequencing backjumps 486797 8385268 6342577.4 7227777
CarSequencing restarts 1206 15331 11234.8 12153
CarSequencing jumps 486797 8385268 6342577.4 7227777
CarSequencing atoms 1945 2466 2303 2319
CarSequencing rules 1459 1653 1594.6 1604
CarSequencing bodies 589 666 642.2 645
CarSequencing equivalences 395 457 437.4 439
CarSequencing variables 1170 1584 1452.4 1462
CarSequencing eliminated 0 0 0 0
CarSequencing frozen 1170 1584 1452.4 1462
CarSequencing constraints 589 666 642.2 645
CarSequencing nHornClauses 93 106 102.2 103
CarSequencing nDualHornClauses 483 546 528.2 533
CarSequencing maxClauseSize 79 89 86.2 87
CarSequencing maxPositiveClauseSize 79 89 86.2 87
CarSequencing maxNegativeClauseSize 78 88 85.2 86
CarSequencing numVPosLitH 1170 1584 1452.4 1462
CarSequencing numVPosLit 1170 1584 1452.4 1462
CarSequencing numVNegLitH 1170 1584 1452.4 1462
CarSequencing numVNegLit 1170 1584 1452.4 1462
CarSequencing maxPosRSizeC 79 89 86.2 87
CarSequencing maxPosRSizeNC 2 2 2 2
CarSequencing numAtomOccC 16101 21497 19777.4 19896
CarSequencing numAtomOccNC 1350 1533 1480 1492
CarSequencing maxNumAtomOcc 576 652 630.4 636
CarSequencing maxNumPosOccA 576 652 630.4 636
CarSequencing maxNumNegOccA 2 2 2 2
CarSequencing dWidth 65 71 68.3333333333333 69
CarSequencing dEdges 14913 19633 18133.4 18244
CarSequencing dNodes 2900 3542 3345.6 3372
CarSequencing iWidth Inf -Inf NaN NA
CarSequencing iEdges 14913 19633 18133.4 18244
CarSequencing iNodes 2900 3542 3345.6 3372
HydraulicLeaking time_CPU 0 0.016 0.00106666666666667 0
HydraulicLeaking choices 0 0 0 0
HydraulicLeaking conflicts 0 0 0 0
HydraulicLeaking backtracks 0 0 0 0
HydraulicLeaking backjumps 0 0 0 0
HydraulicLeaking restarts 0 0 0 0
HydraulicLeaking jumps 0 0 0 0
HydraulicLeaking atoms 80 2601 431.333333333333 121
HydraulicLeaking rules 79 2600 430.333333333333 120
HydraulicLeaking bodies 0 0 0 0
HydraulicLeaking equivalences 157 5199 859.666666666667 239
HydraulicLeaking variables 0 0 0 0
HydraulicLeaking eliminated 0 0 0 0
HydraulicLeaking frozen 0 0 0 0
HydraulicLeaking constraints 0 0 0 0
HydraulicLeaking nHornClauses 0 0 0 0
HydraulicLeaking nDualHornClauses 0 0 0 0
HydraulicLeaking maxClauseSize 1 1 1 1
HydraulicLeaking maxPositiveClauseSize 1 1 1 1
HydraulicLeaking maxNegativeClauseSize 0 0 0 0
HydraulicLeaking numVPosLitH 0 0 0 0
HydraulicLeaking numVPosLit 0 0 0 0
HydraulicLeaking numVNegLitH 0 0 0 0
HydraulicLeaking numVNegLit 0 0 0 0
HydraulicLeaking maxPosRSizeC 0 0 0 0
HydraulicLeaking maxPosRSizeNC 1 1 1 1
HydraulicLeaking numAtomOccC 0 0 0 0
HydraulicLeaking numAtomOccNC 79 2600 430.333333333333 120
HydraulicLeaking maxNumAtomOcc 1 1 1 1
HydraulicLeaking maxNumPosOccA 1 1 1 1
HydraulicLeaking maxNumNegOccA 0 0 0 0
HydraulicLeaking dWidth 0 0 0 0
HydraulicLeaking dEdges 0 0 0 0
HydraulicLeaking dNodes 0 0 0 0
HydraulicLeaking iWidth Inf -Inf NaN NA
HydraulicLeaking iEdges 0 0 0 0
HydraulicLeaking iNodes 0 0 0 0
HydraulicPlanning time_CPU 0 0 0 0
HydraulicPlanning choices 0 0 0 0
HydraulicPlanning conflicts 0 0 0 0
HydraulicPlanning backtracks 0 0 0 0
HydraulicPlanning backjumps 0 0 0 0
HydraulicPlanning restarts 0 0 0 0
HydraulicPlanning jumps 0 0 0 0
HydraulicPlanning atoms 79 616 210.714285714286 92.5
HydraulicPlanning rules 78 615 209.714285714286 91.5
HydraulicPlanning bodies 0 0 0 0
HydraulicPlanning equivalences 155 1229 418.428571428571 182
HydraulicPlanning variables 0 0 0 0
HydraulicPlanning eliminated 0 0 0 0
HydraulicPlanning frozen 0 0 0 0
HydraulicPlanning constraints 0 0 0 0
HydraulicPlanning nHornClauses 0 0 0 0
HydraulicPlanning nDualHornClauses 0 0 0 0
HydraulicPlanning maxClauseSize 1 1 1 1
HydraulicPlanning maxPositiveClauseSize 1 1 1 1
HydraulicPlanning maxNegativeClauseSize 0 0 0 0
HydraulicPlanning numVPosLitH 0 0 0 0
HydraulicPlanning numVPosLit 0 0 0 0
HydraulicPlanning numVNegLitH 0 0 0 0
HydraulicPlanning numVNegLit 0 0 0 0
HydraulicPlanning maxPosRSizeC 0 0 0 0
HydraulicPlanning maxPosRSizeNC 1 1 1 1
HydraulicPlanning numAtomOccC 0 0 0 0
HydraulicPlanning numAtomOccNC 78 615 209.714285714286 91.5
HydraulicPlanning maxNumAtomOcc 1 1 1 1
HydraulicPlanning maxNumPosOccA 1 1 1 1
HydraulicPlanning maxNumNegOccA 0 0 0 0
HydraulicPlanning dWidth 0 0 0 0
HydraulicPlanning dEdges 0 0 0 0
HydraulicPlanning dNodes 0 0 0 0
HydraulicPlanning iWidth Inf -Inf NaN NA
HydraulicPlanning iEdges 0 0 0 0
HydraulicPlanning iNodes 0 0 0 0
ChannelRouting time_CPU 0 0.078 0.0594 0.078
ChannelRouting choices 47 455 338 408
ChannelRouting conflicts 0 6 2.2 1
ChannelRouting backtracks 0 0 0 0
ChannelRouting backjumps 0 6 2.2 1
ChannelRouting restarts 0 0 0 0
ChannelRouting jumps 0 6 2.2 1
ChannelRouting atoms 180 5657 4518.4 5585
ChannelRouting rules 666 54778 41149.4 48928
ChannelRouting bodies 368 29934 21007.6 24084
ChannelRouting equivalences 258 9511 7617.2 9439
ChannelRouting variables 72 1584 1238.4 1512
ChannelRouting eliminated 0 0 0 0
ChannelRouting frozen 63 1512 1179 1440
ChannelRouting constraints 368 29934 21007.6 24084
ChannelRouting nHornClauses 9 72 59.4 72
ChannelRouting nDualHornClauses 487 49194 36632 43344
ChannelRouting maxClauseSize 8 22 18.6 21
ChannelRouting maxPositiveClauseSize 8 22 18.6 21
ChannelRouting maxNegativeClauseSize 1 1 1 1
ChannelRouting numVPosLitH 72 1584 1238.4 1512
ChannelRouting numVPosLit 63 1512 1179 1440
ChannelRouting numVNegLitH 9 72 59.4 72
ChannelRouting numVNegLit 0 0 0 0
ChannelRouting maxPosRSizeC 8 22 18.6 21
ChannelRouting maxPosRSizeNC 2 2 2 2
ChannelRouting numAtomOccC 1632 151758 113314.2 134208
ChannelRouting numAtomOccNC 116 4144 3338.4 4144
ChannelRouting maxNumAtomOcc 487 49194 36632 43344
ChannelRouting maxNumPosOccA 487 49194 36632 43344
ChannelRouting maxNumNegOccA 1 1 1 1
ChannelRouting dWidth Inf -Inf NaN NA
ChannelRouting dEdges 1587 150462 112254 132912
ChannelRouting dNodes 588 50924 38050.6 45074
ChannelRouting iWidth Inf -Inf NaN NA
ChannelRouting iEdges 1587 150462 112254 132912
ChannelRouting iNodes 588 50924 38050.6 45074
SocialGolfer time_CPU 0.031 0.031 0.031 0.031
SocialGolfer choices 647 887 767 767
SocialGolfer conflicts 131 215 173 173
SocialGolfer backtracks 0 3 1.5 1.5
SocialGolfer backjumps 128 215 171.5 171.5
SocialGolfer restarts 1 1 1 1
SocialGolfer jumps 128 215 171.5 171.5
SocialGolfer atoms 3236 3732 3484 3484
SocialGolfer rules 12635 12955 12795 12795
SocialGolfer bodies 27045 30840 28942.5 28942.5
SocialGolfer equivalences 61 69 65 65
SocialGolfer variables 7074 8304 7689 7689
SocialGolfer eliminated 0 0 0 0
SocialGolfer frozen 576 648 612 612
SocialGolfer constraints 27045 30840 28942.5 28942.5
SocialGolfer nHornClauses 120 144 132 132
SocialGolfer nDualHornClauses 5976 7320 6648 6648
SocialGolfer maxClauseSize 19 25 22 22
SocialGolfer maxPositiveClauseSize 19 25 22 22
SocialGolfer maxNegativeClauseSize 18 24 21 21
SocialGolfer numVPosLitH 1566 1680 1623 1623
SocialGolfer numVPosLit 576 648 612 612
SocialGolfer numVNegLitH 576 648 612 612
SocialGolfer numVNegLit 576 648 612 612
SocialGolfer maxPosRSizeC 19 25 22 22
SocialGolfer maxPosRSizeNC 5 7 6 6
SocialGolfer numAtomOccC 21771 24948 23359.5 23359.5
SocialGolfer numAtomOccNC 2452 3167 2809.5 2809.5
SocialGolfer maxNumAtomOcc 612 816 714 714
SocialGolfer maxNumPosOccA 612 816 714 714
SocialGolfer maxNumNegOccA 2 2 2 2
SocialGolfer dWidth Inf -Inf NaN NA
SocialGolfer dEdges 22896 26928 24912 24912
SocialGolfer dNodes 9938 11954 10946 10946
SocialGolfer iWidth Inf -Inf NaN NA
SocialGolfer iEdges 22896 26928 24912 24912
SocialGolfer iNodes 9938 11954 10946 10946
Factoring time_CPU 0.453 0.656 0.5545 0.5545
Factoring choices 7311 9730 8520.5 8520.5
Factoring conflicts 5645 7060 6352.5 6352.5
Factoring backtracks 6 6 6 6
Factoring backjumps 5639 7054 6346.5 6346.5
Factoring restarts 30 30 30 30
Factoring jumps 5639 7054 6346.5 6346.5
Factoring atoms 3899 6118 5008.5 5008.5
Factoring rules 5619 8828 7223.5 7223.5
Factoring bodies 7834 12601 10217.5 10217.5
Factoring equivalences 3755 5766 4760.5 4760.5
Factoring variables 2639 4235 3437 3437
Factoring eliminated 0 0 0 0
Factoring frozen 0 0 0 0
Factoring constraints 7834 12601 10217.5 10217.5
Factoring nHornClauses 2495 3907 3201 3201
Factoring nDualHornClauses 1912 3028 2470 2470
Factoring maxClauseSize 4 4 4 4
Factoring maxPositiveClauseSize 4 4 4 4
Factoring maxNegativeClauseSize 3 3 3 3
Factoring numVPosLitH 789 1257 1023 1023
Factoring numVPosLit 789 1257 1023 1023
Factoring numVNegLitH 777 1243 1010 1010
Factoring numVNegLit 777 1243 1010 1010
Factoring maxPosRSizeC 3 3 3 3
Factoring maxPosRSizeNC 4 4 4 4
Factoring numAtomOccC 6426 10093 8259.5 8259.5
Factoring numAtomOccNC 9160 14437 11798.5 11798.5
Factoring maxNumAtomOcc 109 157 133 133
Factoring maxNumPosOccA 109 157 133 133
Factoring maxNumNegOccA 24 30 27 27
Factoring dWidth Inf -Inf NaN NA
Factoring dEdges 15586 24530 20058 20058
Factoring dNodes 9519 14947 12233 12233
Factoring iWidth Inf -Inf NaN NA
Factoring iEdges 15586 24530 20058 20058
Factoring iNodes 9519 14947 12233 12233
GraphColouring time_CPU 0.016 161.969 24.0157777777778 2.328
GraphColouring choices 118 2645605 448327.111111111 73042
GraphColouring conflicts 46 2365582 398011.222222222 62062
GraphColouring backtracks 0 0 0 0
GraphColouring backjumps 46 2365582 398011.222222222 62062
GraphColouring restarts 0 5372 1031.22222222222 252
GraphColouring jumps 46 2365582 398011.222222222 62062
GraphColouring atoms 2583 2953 2710.77777777778 2681
GraphColouring rules 7462 8632 7881.44444444444 7805
GraphColouring bodies 5005 5815 5298.88888888889 5250
GraphColouring equivalences 4163 4823 4400.77777777778 4359
GraphColouring variables 750 810 763.333333333333 750
GraphColouring eliminated 0 0 0 0
GraphColouring frozen 0 0 0 0
GraphColouring constraints 5005 5815 5298.88888888889 5250
GraphColouring nHornClauses 250 270 254.444444444444 250
GraphColouring nDualHornClauses 3880 4600 4153.88888888889 4125
GraphColouring maxClauseSize 6 6 6 6
GraphColouring maxPositiveClauseSize 6 6 6 6
GraphColouring maxNegativeClauseSize 1 1 1 1
GraphColouring numVPosLitH 750 810 763.333333333333 750
GraphColouring numVPosLit 625 675 636.111111111111 625
GraphColouring numVNegLitH 0 0 0 0
GraphColouring numVNegLit 0 0 0 0
GraphColouring maxPosRSizeC 6 6 6 6
GraphColouring maxPosRSizeNC 1 1 1 1
GraphColouring numAtomOccC 13390 15690 14242.7777777778 14125
GraphColouring numAtomOccNC 1832 2142 1946.44444444444 1930
GraphColouring maxNumAtomOcc 3755 4465 4026.66666666667 4000
GraphColouring maxNumPosOccA 3755 4465 4026.66666666667 4000
GraphColouring maxNumNegOccA 1 1 1 1
GraphColouring dWidth 386 410 394.333333333333 387
GraphColouring dEdges 13015 15285 13861.1111111111 13750
GraphColouring dNodes 5132 5952 5428.11111111111 5377
GraphColouring iWidth Inf -Inf NaN NA
GraphColouring iEdges 13015 15285 13861.1111111111 13750
GraphColouring iNodes 5132 5952 5428.11111111111 5377
CompanyControls time_CPU 0.094 0.094 0.094 0.094
CompanyControls choices 0 0 0 0
CompanyControls conflicts 0 0 0 0
CompanyControls backtracks 0 0 0 0
CompanyControls backjumps 0 0 0 0
CompanyControls restarts 0 0 0 0
CompanyControls jumps 0 0 0 0
CompanyControls atoms 35006 35006 35006 35006
CompanyControls rules 23898 23898 23898 23898
CompanyControls bodies 0 0 0 0
CompanyControls equivalences 35611 35611 35611 35611
CompanyControls variables 0 0 0 0
CompanyControls eliminated 0 0 0 0
CompanyControls frozen 0 0 0 0
CompanyControls constraints 0 0 0 0
CompanyControls nHornClauses 170 170 170 170
CompanyControls nDualHornClauses 4714 4714 4714 4714
CompanyControls maxClauseSize 361 361 361 361
CompanyControls maxPositiveClauseSize 175 175 175 175
CompanyControls maxNegativeClauseSize 186 186 186 186
CompanyControls numVPosLitH 0 0 0 0
CompanyControls numVPosLit 0 0 0 0
CompanyControls numVNegLitH 0 0 0 0
CompanyControls numVNegLit 0 0 0 0
CompanyControls maxPosRSizeC 0 0 0 0
CompanyControls maxPosRSizeNC 175 175 175 175
CompanyControls numAtomOccC 0 0 0 0
CompanyControls numAtomOccNC 85185 85185 85185 85185
CompanyControls maxNumAtomOcc 116 116 116 116
CompanyControls maxNumPosOccA 116 116 116 116
CompanyControls maxNumNegOccA 1 1 1 1
CompanyControls dWidth 225 225 225 225
CompanyControls dEdges 71219 71219 71219 71219
CompanyControls dNodes 31532 31532 31532 31532
CompanyControls iWidth Inf -Inf NaN NA
CompanyControls iEdges 71219 71219 71219 71219
CompanyControls iNodes 31532 31532 31532 31532
KnightsTour time_CPU 0.078 0.156 0.0975 0.078
KnightsTour choices 95 485 210.75 131.5
KnightsTour conflicts 1 11 3.5 1
KnightsTour backtracks 0 0 0 0
KnightsTour backjumps 1 11 3.5 1
KnightsTour restarts 0 0 0 0
KnightsTour jumps 1 11 3.5 1
KnightsTour atoms 5912 8532 7385.25 7548.5
KnightsTour rules 25909 48629 35090.25 32911.5
KnightsTour bodies 3168 12044 5976 4346
KnightsTour equivalences 11264 16536 14139.5 14379
KnightsTour variables 2981 4957 3842.75 3716.5
KnightsTour eliminated 0 0 0 0
KnightsTour frozen 1187 2251 1576 1433
KnightsTour constraints 3168 12044 5976 4346
KnightsTour nHornClauses 1809 2721 2281.75 2298.5
KnightsTour nDualHornClauses 8118 23018 12661.5 9755
KnightsTour maxClauseSize 170 325 252.75 258
KnightsTour maxPositiveClauseSize 170 325 252.75 258
KnightsTour maxNegativeClauseSize 1 1 1 1
KnightsTour numVPosLitH 3388 5252 4303.25 4286.5
KnightsTour numVPosLit 3379 5235 4292.5 4278
KnightsTour numVNegLitH 1594 2562 2040 2002
KnightsTour numVNegLit 1585 2545 2029.25 1993.5
KnightsTour maxPosRSizeC 170 325 252.75 258
KnightsTour maxPosRSizeNC 3 3 3 3
KnightsTour numAtomOccC 35591 53967 45322.75 45866.5
KnightsTour numAtomOccNC 28091 71771 42223.75 34516.5
KnightsTour maxNumAtomOcc 10150 25906 15193 12358
KnightsTour maxNumPosOccA 10150 25906 15193 12358
KnightsTour maxNumNegOccA 1 1 1 1
KnightsTour dWidth Inf -Inf NaN NA
KnightsTour dEdges 61614 122818 84977.5 77739
KnightsTour dNodes 29711 54195 39861.25 37769.5
KnightsTour iWidth Inf -Inf NaN NA
KnightsTour iEdges 61614 122818 84977.5 77739
KnightsTour iNodes 29711 54195 39861.25 37769.5
KnightTour time_CPU 0 0.578 0.109375 0.031
KnightTour choices 203 86604 14277.75 2355
KnightTour conflicts 61 1462 375.75 157
KnightTour backtracks 0 9 2.625 2
KnightTour backjumps 59 1453 373.125 156
KnightTour restarts 0 9 2.125 1
KnightTour jumps 59 1453 373.125 156
KnightTour atoms 1001 31753 8759 4074
KnightTour rules 2588 67376 19325 9623
KnightTour bodies 1562 37177 10921.5 5682
KnightTour equivalences 1046 35661 9883.75 4443
KnightTour variables 851 28499 7808.875 3593
KnightTour eliminated 0 0 0 0
KnightTour frozen 577 24623 6561.375 2870
KnightTour constraints 1562 37177 10921.5 5682
KnightTour nHornClauses 187 4795 1367 673
KnightTour nDualHornClauses 582 18246 5045.25 2358
KnightTour maxClauseSize 9 9 9 9
KnightTour maxPositiveClauseSize 9 9 9 9
KnightTour maxNegativeClauseSize 1 1 1 1
KnightTour numVPosLitH 521 16649 4590.75 2135
KnightTour numVPosLit 334 11854 3223.75 1462
KnightTour numVNegLitH 187 4795 1367 673
KnightTour numVNegLit 0 0 0 0
KnightTour maxPosRSizeC 9 9 9 9
KnightTour maxPosRSizeNC 2 2 2 2
KnightTour numAtomOccC 3620 122648 33554 15386
KnightTour numAtomOccNC 607 18303 5082.25 2390
KnightTour maxNumAtomOcc 315 7995 2282 1125
KnightTour maxNumPosOccA 315 7995 2282 1125
KnightTour maxNumNegOccA 1 1 1 1
KnightTour dWidth 104 481 249.428571428571 209
KnightTour dEdges 3204 105336 28932 13362
KnightTour dNodes 1554 46098 12841.5 6078
KnightTour iWidth Inf -Inf NaN NA
KnightTour iEdges 3204 105336 28932 13362
KnightTour iNodes 1554 46098 12841.5 6078
RLP-150 time_CPU 0.219 0.219 0.219 0.219
RLP-150 choices 7345 7345 7345 7345
RLP-150 conflicts 6286 6286 6286 6286
RLP-150 backtracks 5 5 5 5
RLP-150 backjumps 6281 6281 6281 6281
RLP-150 restarts 32 32 32 32
RLP-150 jumps 6281 6281 6281 6281
RLP-150 atoms 151 151 151 151
RLP-150 rules 739 739 739 739
RLP-150 bodies 3067 3067 3067 3067
RLP-150 equivalences 6 6 6 6
RLP-150 variables 874 874 874 874
RLP-150 eliminated 0 0 0 0
RLP-150 frozen 874 874 874 874
RLP-150 constraints 3067 3067 3067 3067
RLP-150 nHornClauses 568 568 568 568
RLP-150 nDualHornClauses 182 182 182 182
RLP-150 maxClauseSize 3 3 3 3
RLP-150 maxPositiveClauseSize 3 3 3 3
RLP-150 maxNegativeClauseSize 2 2 2 2
RLP-150 numVPosLitH 144 144 144 144
RLP-150 numVPosLit 144 144 144 144
RLP-150 numVNegLitH 143 143 143 143
RLP-150 numVNegLit 143 143 143 143
RLP-150 maxPosRSizeC 3 3 3 3
RLP-150 maxPosRSizeNC 0 0 0 0
RLP-150 numAtomOccC 2250 2250 2250 2250
RLP-150 numAtomOccNC 0 0 0 0
RLP-150 maxNumAtomOcc 24 24 24 24
RLP-150 maxNumPosOccA 16 16 16 16
RLP-150 maxNumNegOccA 11 11 11 11
RLP-150 dWidth 109 109 109 109
RLP-150 dEdges 2234 2234 2234 2234
RLP-150 dNodes 901 901 901 901
RLP-150 iWidth Inf -Inf NaN NA
RLP-150 iEdges 2234 2234 2234 2234
RLP-150 iNodes 901 901 901 901
RLP-200 time_CPU 0.891 0.891 0.891 0.891
RLP-200 choices 28886 28886 28886 28886
RLP-200 conflicts 25164 25164 25164 25164
RLP-200 backtracks 9 9 9 9
RLP-200 backjumps 25155 25155 25155 25155
RLP-200 restarts 126 126 126 126
RLP-200 jumps 25155 25155 25155 25155
RLP-200 atoms 199 199 199 199
RLP-200 rules 690 690 690 690
RLP-200 bodies 2888 2888 2888 2888
RLP-200 equivalences 26 26 26 26
RLP-200 variables 858 858 858 858
RLP-200 eliminated 0 0 0 0
RLP-200 frozen 812 812 812 812
RLP-200 constraints 2888 2888 2888 2888
RLP-200 nHornClauses 528 528 528 528
RLP-200 nDualHornClauses 160 160 160 160
RLP-200 maxClauseSize 3 3 3 3
RLP-200 maxPositiveClauseSize 3 3 3 3
RLP-200 maxNegativeClauseSize 2 2 2 2
RLP-200 numVPosLitH 178 178 178 178
RLP-200 numVPosLit 178 178 178 178
RLP-200 numVNegLitH 175 175 175 175
RLP-200 numVNegLit 175 175 175 175
RLP-200 maxPosRSizeC 3 3 3 3
RLP-200 maxPosRSizeNC 0 0 0 0
RLP-200 numAtomOccC 2072 2072 2072 2072
RLP-200 numAtomOccNC 0 0 0 0
RLP-200 maxNumAtomOcc 19 19 19 19
RLP-200 maxNumPosOccA 14 14 14 14
RLP-200 maxNumNegOccA 11 11 11 11
RLP-200 dWidth Inf -Inf NaN NA
RLP-200 dEdges 2068 2068 2068 2068
RLP-200 dNodes 891 891 891 891
RLP-200 iWidth Inf -Inf NaN NA
RLP-200 iEdges 2068 2068 2068 2068
RLP-200 iNodes 891 891 891 891
CombinedConfiguration time_CPU 0 43.66 6.0004 0.07
CombinedConfiguration choices 115 1368174 185776.32 1508
CombinedConfiguration conflicts 0 983061 132262.88 553
CombinedConfiguration backtracks 0 0 0 0
CombinedConfiguration backjumps 0 983061 132262.88 553
CombinedConfiguration restarts 0 2055 320.72 5
CombinedConfiguration jumps 0 983061 132262.88 553
CombinedConfiguration atoms 1520 41451 11494.88 7228
CombinedConfiguration rules 2939 71489 20847.76 12310
CombinedConfiguration bodies 3552 87202 23980.4 12642
CombinedConfiguration equivalences 2487 67063 19116.44 12737
CombinedConfiguration variables 1000 24680 6478.96 3330
CombinedConfiguration eliminated 0 0 0 0
CombinedConfiguration frozen 660 14520 4124.76 2228
CombinedConfiguration constraints 3552 87202 23980.4 12642
CombinedConfiguration nHornClauses 298 5066 1567.76 1006
CombinedConfiguration nDualHornClauses 1034 21588 6972.08 4054
CombinedConfiguration maxClauseSize 25 190 87.64 81
CombinedConfiguration maxPositiveClauseSize 25 190 87.64 81
CombinedConfiguration maxNegativeClauseSize 1 1 1 1
CombinedConfiguration numVPosLitH 388 6192 1893.72 1254
CombinedConfiguration numVPosLit 334 5730 1698.8 1074
CombinedConfiguration numVNegLitH 190 4142 1177.92 638
CombinedConfiguration numVNegLit 190 4142 1177.92 638
CombinedConfiguration maxPosRSizeC 5 12 6.8 6
CombinedConfiguration maxPosRSizeNC 25 190 87.64 81
CombinedConfiguration numAtomOccC 5350 111144 34325.28 19844
CombinedConfiguration numAtomOccNC 1077 29195 8341.72 5699
CombinedConfiguration maxNumAtomOcc 430 9976 3392.08 2200
CombinedConfiguration maxNumPosOccA 430 9976 3392.08 2200
CombinedConfiguration maxNumNegOccA 1 1 1 1
CombinedConfiguration dWidth 83 288 170.533333333333 157
CombinedConfiguration dEdges 5692 117739 36207.64 20886
CombinedConfiguration dNodes 2930 56961 17424.48 10300
CombinedConfiguration iWidth Inf -Inf NaN NA
CombinedConfiguration iEdges 5692 117739 36207.64 20886
CombinedConfiguration iNodes 2930 56961 17424.48 10300
b01 time_CPU 0 0.15 0.0634782608695652 0.03
b01 choices 5 234 36.8695652173913 13
b01 conflicts 0 131 16.3913043478261 4
b01 backtracks 0 0 0 0
b01 backjumps 0 131 16.3913043478261 4
b01 restarts 0 1 0.0434782608695652 0
b01 jumps 0 131 16.3913043478261 4
b01 atoms 109 1127 696 577
b01 rules 738 69623 36035 19401
b01 bodies 665 58794 27257.2173913043 16684
b01 equivalences 100 764 482.695652173913 409
b01 variables 73 953 581.695652173913 478
b01 eliminated 0 0 0 0
b01 frozen 0 0 0 0
b01 constraints 665 58794 27257.2173913043 16684
b01 nHornClauses 97 1431 859.608695652174 691
b01 nDualHornClauses 570 67620 34773.9130434783 18375
b01 maxClauseSize 3 3 3 3
b01 maxPositiveClauseSize 3 3 3 3
b01 maxNegativeClauseSize 1 1 1 1
b01 numVPosLitH 39 491 299.869565217391 246
b01 numVPosLit 39 491 299.869565217391 246
b01 numVNegLitH 39 491 299.869565217391 246
b01 numVNegLit 39 491 299.869565217391 246
b01 maxPosRSizeC 2 2 2 2
b01 maxPosRSizeNC 3 3 3 3
b01 numAtomOccC 330 4776 2874.34782608696 2316
b01 numAtomOccNC 1743 203003 104433.043478261 55221
b01 maxNumAtomOcc 630 68530 35340 18825
b01 maxNumPosOccA 630 68530 35340 18825
b01 maxNumNegOccA 4 4 4 4
b01 dWidth 35 69 46.3333333333333 35
b01 dEdges 2005 207040 106917.608695652 57211
b01 dNodes 752 70002 36257.652173913 19577
b01 iWidth Inf -Inf NaN NA
b01 iEdges 2005 207040 106917.608695652 57211
b01 iNodes 752 70002 36257.652173913 19577
Visit-all time_CPU 0.01 1.44 0.430277777777778 0.065
Visit-all choices 907 51735 16142.9722222222 5063.5
Visit-all conflicts 237 24431 8353.75 2742.5
Visit-all backtracks 0 8 1.91666666666667 0.5
Visit-all backjumps 236 24431 8351.83333333333 2742
Visit-all restarts 2 98 34.9444444444444 14
Visit-all jumps 236 24431 8351.83333333333 2742
Visit-all atoms 930 5245 2377.97222222222 1803
Visit-all rules 7828 78042 30867.9722222222 16198
Visit-all bodies 4125 32460 13603 8037
Visit-all equivalences 1792 10315 4649.22222222222 3503
Visit-all variables 679 4132 1829.25 1379
Visit-all eliminated 0 0 0 0
Visit-all frozen 0 0 0 0
Visit-all constraints 4125 32460 13603 8037
Visit-all nHornClauses 503 3146 1384.94444444444 1027
Visit-all nDualHornClauses 442 3010 1292 950
Visit-all maxClauseSize 3 3 3 3
Visit-all maxPositiveClauseSize 3 3 3 3
Visit-all maxNegativeClauseSize 1 1 1 1
Visit-all numVPosLitH 223 1078 513 403
Visit-all numVPosLit 223 1078 513 403
Visit-all numVNegLitH 223 1078 513 403
Visit-all numVNegLit 223 1078 513 403
Visit-all maxPosRSizeC 2 2 2 2
Visit-all maxPosRSizeNC 3 3 3 3
Visit-all numAtomOccC 14636 149776 58951 30326
Visit-all numAtomOccNC 1397 9178 3980 2939
Visit-all maxNumAtomOcc 42 92 72.6111111111111 56
Visit-all maxNumPosOccA 41 88 68.6944444444444 52
Visit-all maxNumNegOccA 3 4 3.97222222222222 4
Visit-all dWidth 30 32 31.0714285714286 31
Visit-all dEdges 15968 158814 62834.0555555556 33184
Visit-all dNodes 8629 83008 33053.0555555556 17840
Visit-all iWidth Inf -Inf NaN NA
Visit-all iEdges 15968 158814 62834.0555555556 33184
Visit-all iNodes 8629 83008 33053.0555555556 17840
b24 time_CPU 0 37.66 4.05725 1.2
b24 choices 6 713476 74825.825 7090
b24 conflicts 3 63564 6651.9 1358.5
b24 backtracks 0 95 4.625 1
b24 backjumps 3 63563 6647.275 1357.5
b24 restarts 0 189 26.3 9.5
b24 jumps 3 63563 6647.275 1357.5
b24 atoms 629 21245 14877.2 16525
b24 rules 1193 66804 45888.025 51143
b24 bodies 2849 234875 160305.275 179106
b24 equivalences 1109 25748 18415.125 20361.5
b24 variables 767 63119 43128.3 48186.5
b24 eliminated 0 0 0 0
b24 frozen 211 15934 10841.25 12120.5
b24 constraints 2849 234875 160305.275 179106
b24 nHornClauses 101 3624 2584.1 2871
b24 nDualHornClauses 514 50047 34050.825 38108
b24 maxClauseSize 5 5 5 5
b24 maxPositiveClauseSize 4 4 4 4
b24 maxNegativeClauseSize 4 4 4 4
b24 numVPosLitH 173 9759 6729.35 7485.5
b24 numVPosLit 173 9759 6729.35 7485.5
b24 numVNegLitH 32 1295 928.575 1032
b24 numVNegLit 32 1295 928.575 1032
b24 maxPosRSizeC 4 4 4 4
b24 maxPosRSizeNC 2 3 2.975 3
b24 numAtomOccC 2156 168891 115218.675 128647.5
b24 numAtomOccNC 781 26349 18449.3 20534
b24 maxNumAtomOcc 14 145 112.575 123
b24 maxNumPosOccA 14 145 112.575 123
b24 maxNumNegOccA 5 13 11.475 12
b24 dWidth 1042 1115 1081.55555555556 1085
b24 dEdges 2716 193422 132284.475 147741
b24 dNodes 1381 84456 57999.225 64731
b24 iWidth Inf -Inf NaN NA
b24 iEdges 2716 193422 132284.475 147741
b24 iNodes 1381 84456 57999.225 64731
b16 time_CPU 0.04 0.14 0.106666666666667 0.14
b16 choices 25 84 56 59
b16 conflicts 10 28 16.3333333333333 11
b16 backtracks 3 13 8.66666666666667 10
b16 backjumps 1 15 7.66666666666667 7
b16 restarts 0 0 0 0
b16 jumps 1 15 7.66666666666667 7
b16 atoms 5962 15293 11554.3333333333 13408
b16 rules 8740 26820 18692.3333333333 20517
b16 bodies 9616 35683 22839 23218
b16 equivalences 10794 37016 26567.3333333333 31892
b16 variables 3200 10528 7111.66666666667 7607
b16 eliminated 0 0 0 0
b16 frozen 363 934 715 848
b16 constraints 9616 35683 22839 23218
b16 nHornClauses 2722 12050 7537 7839
b16 nDualHornClauses 1669 4736 3531 4188
b16 maxClauseSize 209 766 523.333333333333 595
b16 maxPositiveClauseSize 209 766 523.333333333333 595
b16 maxNegativeClauseSize 2 2 2 2
b16 numVPosLitH 998 2962 2112.66666666667 2378
b16 numVPosLit 993 2958 2108.33333333333 2374
b16 numVNegLitH 754 2282 1669.66666666667 1973
b16 numVNegLit 754 2282 1669.66666666667 1973
b16 maxPosRSizeC 209 766 523.333333333333 595
b16 maxPosRSizeNC 209 766 523.333333333333 595
b16 numAtomOccC 12833 49218 32357 35020
b16 numAtomOccNC 37812 163207 115069.666666667 144190
b16 maxNumAtomOcc 1373 5124 3498.66666666667 3999
b16 maxNumPosOccA 1373 5124 3498.66666666667 3999
b16 maxNumNegOccA 5 8 6.33333333333333 6
b16 dWidth 298 703 500.5 500.5
b16 dEdges 47425 192165 141979.333333333 186348
b16 dNodes 8385 29204 20113 22750
b16 iWidth Inf -Inf NaN NA
b16 iEdges 47425 192165 141979.333333333 186348
b16 iNodes 8385 29204 20113 22750
20-Numberlink time_CPU 0.02 112.859 8.11210126582279 1.469
20-Numberlink choices 260 4105513 166484.784810127 26593
20-Numberlink conflicts 153 2011787 85246.7594936709 15658
20-Numberlink backtracks 1 54 20.0379746835443 18
20-Numberlink backjumps 142 2011733 85226.7215189873 15647
20-Numberlink restarts 1 9749 353.544303797468 62
20-Numberlink jumps 142 2011733 85226.7215189873 15647
20-Numberlink atoms 607 4962 3606.6835443038 3582
20-Numberlink rules 4252 101620 57410.0379746835 49052
20-Numberlink bodies 4423 76403 46408 40685
20-Numberlink equivalences 937 7777 5646.46835443038 5611
20-Numberlink variables 1041 10637 7415.27848101266 7152
20-Numberlink eliminated 0 0 0 0
20-Numberlink frozen 405 4101 2851.12658227848 2734
20-Numberlink constraints 4423 76403 46408 40685
20-Numberlink nHornClauses 302 3189 2209.79746835443 2126
20-Numberlink nDualHornClauses 3310 92892 51224 44184
20-Numberlink maxClauseSize 3 3 3 3
20-Numberlink maxPositiveClauseSize 3 3 3 3
20-Numberlink maxNegativeClauseSize 1 1 1 1
20-Numberlink numVPosLitH 457 4312 3035.82278481013 2935
20-Numberlink numVPosLit 457 4312 3035.82278481013 2935
20-Numberlink numVNegLitH 96 891 622.822784810127 594
20-Numberlink numVNegLit 96 891 622.822784810127 594
20-Numberlink maxPosRSizeC 3 3 3 3
20-Numberlink maxPosRSizeNC 1 1 1 1
20-Numberlink numAtomOccC 11814 298014 167107.088607595 143208
20-Numberlink numAtomOccNC 149 788 569.860759493671 646
20-Numberlink maxNumAtomOcc 3016 89721 49028.3291139241 42456
20-Numberlink maxNumPosOccA 3016 89721 49028.3291139241 42456
20-Numberlink maxNumNegOccA 5 5 5 5
20-Numberlink dWidth 90 141 115.5 115.5
20-Numberlink dEdges 11174 291534 162599.341772152 139624
20-Numberlink dNodes 4082 100425 56497.1898734177 48367
20-Numberlink iWidth Inf -Inf NaN NA
20-Numberlink iEdges 11174 291534 162599.341772152 139624
20-Numberlink iNodes 4082 100425 56497.1898734177 48367
RicochetRobots time_CPU 16.15 68.98 41.4308333333333 42.84
RicochetRobots choices 69111 243524 124498.5 116254
RicochetRobots conflicts 27459 134040 59123.1666666667 50152.5
RicochetRobots backtracks 0 15 3.08333333333333 1.5
RicochetRobots backjumps 27458 134025 59120.0833333333 50151.5
RicochetRobots restarts 112 1603 333.5 201.5
RicochetRobots jumps 27458 134025 59120.0833333333 50151.5
RicochetRobots atoms 10650 12933 11411 11411
RicochetRobots rules 39449 48950 42616 42616
RicochetRobots bodies 131136 168564 143612 143612
RicochetRobots equivalences 6100 6820 6340 6340
RicochetRobots variables 35400 45396 38732 38732
RicochetRobots eliminated 0 0 0 0
RicochetRobots frozen 0 0 0 0
RicochetRobots constraints 131136 168564 143612 143612
RicochetRobots nHornClauses 7806 9690 8434 8434
RicochetRobots nDualHornClauses 29828 37280 32312 32312
RicochetRobots maxClauseSize 5 5 5 5
RicochetRobots maxPositiveClauseSize 5 5 5 5
RicochetRobots maxNegativeClauseSize 1 1 1 1
RicochetRobots numVPosLitH 8332 10408 9024 9024
RicochetRobots numVPosLit 8306 10376 8996 8996
RicochetRobots numVNegLitH 5866 7330 6354 6354
RicochetRobots numVNegLit 5866 7330 6354 6354
RicochetRobots maxPosRSizeC 5 5 5 5
RicochetRobots maxPosRSizeNC 3 3 3 3
RicochetRobots numAtomOccC 123742 154636 134040 134040
RicochetRobots numAtomOccNC 3557 3956 3690 3690
RicochetRobots maxNumAtomOcc 3292 4114 3566 3566
RicochetRobots maxNumPosOccA 3292 4114 3566 3566
RicochetRobots maxNumNegOccA 16 16 16 16
RicochetRobots dWidth 273 273 273 273
RicochetRobots dEdges 126162 157428 136584 136584
RicochetRobots dNodes 47800 59524 51708 51708
RicochetRobots iWidth 273 273 273 273
RicochetRobots iEdges 126162 157428 136584 136584
RicochetRobots iNodes 47800 59524 51708 51708
BlockedNQueens time_CPU 0.172 17.563 3.54806666666667 2.234
BlockedNQueens choices 26846 728680 171812.933333333 108912
BlockedNQueens conflicts 24300 675372 158420.133333333 100241
BlockedNQueens backtracks 0 9 5.26666666666667 6
BlockedNQueens backjumps 24294 675363 158414.866666667 100232
BlockedNQueens restarts 124 3069 791.733333333333 371
BlockedNQueens jumps 24294 675363 158414.866666667 100232
BlockedNQueens atoms 7479 7487 7484.86666666667 7486
BlockedNQueens rules 9106 9404 9256.73333333333 9248
BlockedNQueens bodies 1109 1413 1262.93333333333 1255
BlockedNQueens equivalences 13957 13957 13957 13957
BlockedNQueens variables 438 438 438 438
BlockedNQueens eliminated 0 0 0 0
BlockedNQueens frozen 322 335 329.933333333333 332
BlockedNQueens constraints 1109 1413 1262.93333333333 1255
BlockedNQueens nHornClauses 96 96 96 96
BlockedNQueens nDualHornClauses 328 336 333.866666666667 335
BlockedNQueens maxClauseSize 13 17 15.0666666666667 15
BlockedNQueens maxPositiveClauseSize 13 17 15.0666666666667 15
BlockedNQueens maxNegativeClauseSize 1 1 1 1
BlockedNQueens numVPosLitH 438 438 438 438
BlockedNQueens numVPosLit 342 342 342 342
BlockedNQueens numVNegLitH 96 96 96 96
BlockedNQueens numVNegLit 0 0 0 0
BlockedNQueens maxPosRSizeC 13 17 15.0666666666667 15
BlockedNQueens maxPosRSizeNC 2 2 2 2
BlockedNQueens numAtomOccC 3910 3926 3919.8 3923
BlockedNQueens numAtomOccNC 7272 7288 7283.73333333333 7286
BlockedNQueens maxNumAtomOcc 328 336 333.866666666667 335
BlockedNQueens maxNumPosOccA 328 336 333.866666666667 335
BlockedNQueens maxNumNegOccA 1 1 1 1
BlockedNQueens dWidth 178 195 187.2 188
BlockedNQueens dEdges 3007 3036 3027.53333333333 3033
BlockedNQueens dNodes 1328 1352 1345.6 1349
BlockedNQueens iWidth Inf -Inf NaN NA
BlockedNQueens iEdges 3007 3036 3027.53333333333 3033
BlockedNQueens iNodes 1328 1352 1345.6 1349
BlockedN-QueensCompetition time_CPU 0.531 23.813 8.297 4.422
BlockedN-QueensCompetition choices 65148 673462 253166 137027
BlockedN-QueensCompetition conflicts 59905 625406 234463.5 126271.5
BlockedN-QueensCompetition backtracks 3 12 6.5 5.5
BlockedN-QueensCompetition backjumps 59893 625400 234457 126267.5
BlockedN-QueensCompetition restarts 379 2043 859.75 508.5
BlockedN-QueensCompetition jumps 59893 625400 234457 126267.5
BlockedN-QueensCompetition atoms 4695 4695 4695 4695
BlockedN-QueensCompetition rules 9652 9652 9652 9652
BlockedN-QueensCompetition bodies 330 338 334.5 335
BlockedN-QueensCompetition equivalences 4361 4361 4361 4361
BlockedN-QueensCompetition variables 438 438 438 438
BlockedN-QueensCompetition eliminated 0 0 0 0
BlockedN-QueensCompetition frozen 342 342 342 342
BlockedN-QueensCompetition constraints 330 338 334.5 335
BlockedN-QueensCompetition nHornClauses 96 96 96 96
BlockedN-QueensCompetition nDualHornClauses 380 380 380 380
BlockedN-QueensCompetition maxClauseSize 49 49 49 49
BlockedN-QueensCompetition maxPositiveClauseSize 49 49 49 49
BlockedN-QueensCompetition maxNegativeClauseSize 1 1 1 1
BlockedN-QueensCompetition numVPosLitH 438 438 438 438
BlockedN-QueensCompetition numVPosLit 342 342 342 342
BlockedN-QueensCompetition numVNegLitH 96 96 96 96
BlockedN-QueensCompetition numVNegLit 0 0 0 0
BlockedN-QueensCompetition maxPosRSizeC 49 49 49 49
BlockedN-QueensCompetition maxPosRSizeNC 20 35 27.5 27.5
BlockedN-QueensCompetition numAtomOccC 23421 23509 23449.75 23434.5
BlockedN-QueensCompetition numAtomOccNC 6793 6881 6852.25 6867.5
BlockedN-QueensCompetition maxNumAtomOcc 2342 2342 2342 2342
BlockedN-QueensCompetition maxNumPosOccA 2342 2342 2342 2342
BlockedN-QueensCompetition maxNumNegOccA 1 1 1 1
BlockedN-QueensCompetition dWidth 241 241 241 241
BlockedN-QueensCompetition dEdges 18980 18980 18980 18980
BlockedN-QueensCompetition dNodes 5408 5408 5408 5408
BlockedN-QueensCompetition iWidth Inf -Inf NaN NA
BlockedN-QueensCompetition iEdges 18980 18980 18980 18980
BlockedN-QueensCompetition iNodes 5408 5408 5408 5408
34-PartnerUnitsPolynomial time_CPU 0.06 58.6 8.88296296296296 2.81
34-PartnerUnitsPolynomial choices 1165 986649 103031.555555556 28917
34-PartnerUnitsPolynomial conflicts 546 204319 22050.7407407407 9960
34-PartnerUnitsPolynomial backtracks 0 0 0 0
34-PartnerUnitsPolynomial backjumps 546 204319 22050.7407407407 9960
34-PartnerUnitsPolynomial restarts 2 506 67.9259259259259 36
34-PartnerUnitsPolynomial jumps 546 204319 22050.7407407407 9960
34-PartnerUnitsPolynomial atoms 1396 12304 7165.62962962963 8624
34-PartnerUnitsPolynomial rules 4426 82942 42506.0740740741 51619
34-PartnerUnitsPolynomial bodies 12049 273879 140399.074074074 172212
34-PartnerUnitsPolynomial equivalences 1442 12127 7838.07407407407 9762
34-PartnerUnitsPolynomial variables 3512 72779 37718.2592592593 46262
34-PartnerUnitsPolynomial eliminated 0 0 0 0
34-PartnerUnitsPolynomial frozen 502 4758 2731.25925925926 3298
34-PartnerUnitsPolynomial constraints 12049 273879 140399.074074074 172212
34-PartnerUnitsPolynomial nHornClauses 751 7923 4456.81481481481 5401
34-PartnerUnitsPolynomial nDualHornClauses 2467 61951 32071.6296296296 39646
34-PartnerUnitsPolynomial maxClauseSize 25 70 53.2962962962963 61
34-PartnerUnitsPolynomial maxPositiveClauseSize 25 70 53.2962962962963 61
34-PartnerUnitsPolynomial maxNegativeClauseSize 1 1 1 1
34-PartnerUnitsPolynomial numVPosLitH 726 7039 3545 4090
34-PartnerUnitsPolynomial numVPosLit 726 7039 3545 4090
34-PartnerUnitsPolynomial numVNegLitH 396 4029 2276.07407407407 2755
34-PartnerUnitsPolynomial numVNegLit 396 4029 2276.07407407407 2755
34-PartnerUnitsPolynomial maxPosRSizeC 12 35 26.3703703703704 30
34-PartnerUnitsPolynomial maxPosRSizeNC 25 70 53.2962962962963 61
34-PartnerUnitsPolynomial numAtomOccC 11325 231459 117878.814814815 143493
34-PartnerUnitsPolynomial numAtomOccNC 692 6766 3992.55555555556 5088
34-PartnerUnitsPolynomial maxNumAtomOcc 391 3999 2259.85185185185 2736
34-PartnerUnitsPolynomial maxNumPosOccA 391 3999 2259.85185185185 2736
34-PartnerUnitsPolynomial maxNumNegOccA 2 2 2 2
34-PartnerUnitsPolynomial dWidth 223 1199 555.875 510
34-PartnerUnitsPolynomial dEdges 11523 231910 119361.592592593 145733
34-PartnerUnitsPolynomial dNodes 5216 90419 46930.2222222222 57002
34-PartnerUnitsPolynomial iWidth Inf -Inf NaN NA
34-PartnerUnitsPolynomial iEdges 11523 231910 119361.592592593 145733
34-PartnerUnitsPolynomial iNodes 5216 90419 46930.2222222222 57002
b13 time_CPU 0.094 70.953 4.01790476190476 0.188
b13 choices 437 793478 63126.7142857143 3065
b13 conflicts 28 335397 20469.0476190476 561
b13 backtracks 0 10 0.666666666666667 0
b13 backjumps 27 335397 20468.380952381 561
b13 restarts 0 838 57.7142857142857 4
b13 jumps 27 335397 20468.380952381 561
b13 atoms 10883 13637 12261 12263
b13 rules 31628 39615 35622.6666666667 35625
b13 bodies 34661 46030 40578.3333333333 41044
b13 equivalences 11148 13949 12543 12532
b13 variables 10099 13176 11676.6666666667 11755
b13 eliminated 0 0 0 0
b13 frozen 0 0 0 0
b13 constraints 34661 46030 40578.3333333333 41044
b13 nHornClauses 3347 4211 3779 3779
b13 nDualHornClauses 1796 2264 2030 2030
b13 maxClauseSize 133 133 133 133
b13 maxPositiveClauseSize 133 133 133 133
b13 maxNegativeClauseSize 1 1 1 1
b13 numVPosLitH 4049 5111 4581 4583
b13 numVPosLit 4026 5081 4554.33333333333 4556
b13 numVNegLitH 759 958 858.666666666667 859
b13 numVNegLit 759 958 858.666666666667 859
b13 maxPosRSizeC 133 133 133 133
b13 maxPosRSizeNC 4 4 4 4
b13 numAtomOccC 54823 69186 62019.3333333333 62049
b13 numAtomOccNC 4540 5322 4915.66666666667 4885
b13 maxNumAtomOcc 3188 3989 3588 3587
b13 maxNumPosOccA 3188 3989 3588 3587
b13 maxNumNegOccA 2 2 2 2
b13 dWidth 129 129 129 129
b13 dEdges 56144 70316 63229 63227
b13 dNodes 28901 36176 32538 32537
b13 iWidth Inf -Inf NaN NA
b13 iEdges 56144 70316 63229 63227
b13 iNodes 28901 36176 32538 32537
b09 time_CPU 3.688 289.125 44.684375 21.5785
b09 choices 30673 439945 126956.041666667 88126.5
b09 conflicts 8684 293585 70509.5 37676.5
b09 backtracks 0 10 1.875 1
b09 backjumps 8684 293585 70507.625 37675.5
b09 restarts 45 3084 369.958333333333 133
b09 jumps 8684 293585 70507.625 37675.5
b09 atoms 9889 11411 10554.875 10650
b09 rules 36282 42616 39053.125 39449
b09 bodies 118660 143612 129576.5 131136
b09 equivalences 5860 6340 6070 6100
b09 variables 32068 38732 34983.5 35400
b09 eliminated 0 0 0 0
b09 frozen 0 0 0 0
b09 constraints 118660 143612 129576.5 131136
b09 nHornClauses 7178 8434 7727.5 7806
b09 nDualHornClauses 27344 32312 29517.5 29828
b09 maxClauseSize 5 5 5 5
b09 maxPositiveClauseSize 5 5 5 5
b09 maxNegativeClauseSize 1 1 1 1
b09 numVPosLitH 7640 9024 8245.5 8332
b09 numVPosLit 7616 8996 8219.75 8306
b09 numVNegLitH 5378 6354 5805 5866
b09 numVNegLit 5378 6354 5805 5866
b09 maxPosRSizeC 5 5 5 5
b09 maxPosRSizeNC 3 3 3 3
b09 numAtomOccC 113444 134040 122454.75 123742
b09 numAtomOccNC 3424 3690 3540.375 3557
b09 maxNumAtomOcc 3018 3566 3257.75 3292
b09 maxNumPosOccA 3018 3566 3257.75 3292
b09 maxNumNegOccA 16 16 16 16
b09 dWidth 273 273 273 273
b09 dEdges 115740 136584 124859.25 126162
b09 dNodes 43892 51708 47311.5 47800
b09 iWidth Inf -Inf NaN NA
b09 iEdges 115740 136584 124859.25 126162
b09 iNodes 43892 51708 47311.5 47800
b05 time_CPU 0.11 24.31 9.62333333333333 4.45
b05 choices 3900 807886 316183.666666667 136765
b05 conflicts 2796 785747 304767.333333333 125759
b05 backtracks 1 2 1.66666666666667 2
b05 backjumps 2795 785745 304765.666666667 125757
b05 restarts 14 2046 813.666666666667 381
b05 jumps 2795 785745 304765.666666667 125757
b05 atoms 960 1076 1019.66666666667 1023
b05 rules 22916 25742 24248 24086
b05 bodies 21990 24754 23264 23048
b05 equivalences 1017 1137 1078.66666666667 1082
b05 variables 834 938 888.333333333333 893
b05 eliminated 0 0 0 0
b05 frozen 801 901 853.666666666667 859
b05 constraints 21990 24754 23264 23048
b05 nHornClauses 14466 16318 15086 14474
b05 nDualHornClauses 21990 24754 23264 23048
b05 maxClauseSize 26 27 26.3333333333333 26
b05 maxPositiveClauseSize 26 27 26.3333333333333 26
b05 maxNegativeClauseSize 1 1 1 1
b05 numVPosLitH 834 938 888.333333333333 893
b05 numVPosLit 801 901 853.666666666667 859
b05 numVNegLitH 576 625 592.333333333333 576
b05 numVNegLit 576 625 592.333333333333 576
b05 maxPosRSizeC 26 27 26.3333333333333 26
b05 maxPosRSizeNC 1 1 1 1
b05 numAtomOccC 82740 93055 87335 86210
b05 numAtomOccNC 125 137 130.333333333333 129
b05 maxNumAtomOcc 21957 24720 23229.3333333333 23011
b05 maxNumPosOccA 21957 24720 23229.3333333333 23011
b05 maxNumNegOccA 48 50 48.6666666666667 48
b05 dWidth Inf -Inf NaN NA
b05 dEdges 82005 92264 86550.6666666667 85383
b05 dNodes 22958 25785 24293 24136
b05 iWidth Inf -Inf NaN NA
b05 iEdges 82005 92264 86550.6666666667 85383
b05 iNodes 22958 25785 24293 24136
b27 time_CPU 0.03 30.19 5.22333333333333 2.175
b27 choices 920 619297 116667.166666667 54942
b27 conflicts 704 546764 102643.25 47471
b27 backtracks 0 0 0 0
b27 backjumps 704 546764 102643.25 47471
b27 restarts 6 1480 329.166666666667 193
b27 jumps 704 546764 102643.25 47471
b27 atoms 2967 3287 3078.33333333333 3058
b27 rules 8938 9948 9284.08333333333 9223
b27 bodies 6367 7039 6663.08333333333 6607
b27 equivalences 5659 7568 6175.16666666667 5851.5
b27 variables 730 787 743.083333333333 736
b27 eliminated 0 0 0 0
b27 frozen 0 0 0 0
b27 constraints 6367 7039 6663.08333333333 6607
b27 nHornClauses 740 800 750 740
b27 nDualHornClauses 0 0 0 0
b27 maxClauseSize 2 2 2 2
b27 maxPositiveClauseSize 2 2 2 2
b27 maxNegativeClauseSize 1 1 1 1
b27 numVPosLitH 719 786 732.75 724
b27 numVPosLit 719 786 732.75 724
b27 numVNegLitH 719 786 732.75 724
b27 numVNegLit 719 786 732.75 724
b27 maxPosRSizeC 2 2 2 2
b27 maxPosRSizeNC 2 2 2 2
b27 numAtomOccC 14192 15992 14815.3333333333 14650
b27 numAtomOccNC 1795 2260 2048.83333333333 2086
b27 maxNumAtomOcc 125 135 126.666666666667 125
b27 maxNumPosOccA 125 135 126.666666666667 125
b27 maxNumNegOccA 1 1 1 1
b27 dWidth 392 413 403 403.5
b27 dEdges 14654 16254 15160.1666666667 15038
b27 dNodes 8684 9594 8955.41666666667 8876
b27 iWidth Inf -Inf NaN NA
b27 iEdges 14654 16254 15160.1666666667 15038
b27 iNodes 8684 9594 8955.41666666667 8876
b07 time_CPU 0.08 69.61 14.104 1.105
b07 choices 740 896655 200726.1 17509.5
b07 conflicts 370 156436 34836.2 5078.5
b07 backtracks 0 0 0 0
b07 backjumps 370 156436 34836.2 5078.5
b07 restarts 2 381 101.8 22.5
b07 jumps 370 156436 34836.2 5078.5
b07 atoms 4485 20912 11211.8 8997
b07 rules 10173 66052 38842.4 36346
b07 bodies 19498 151434 86773.3 84699
b07 equivalences 5809 30256 16570.2 13269.5
b07 variables 5620 37199 22170.4 21078
b07 eliminated 0 0 0 0
b07 frozen 0 2075 879.7 1013
b07 constraints 19498 151434 86773.3 84699
b07 nHornClauses 969 4746 3052.4 2765.5
b07 nDualHornClauses 5048 52997 28331.8 28702.5
b07 maxClauseSize 45 65 49 45
b07 maxPositiveClauseSize 45 65 49 45
b07 maxNegativeClauseSize 1 1 1 1
b07 numVPosLitH 1334 6783 4428.7 4149
b07 numVPosLit 1334 6783 4428.7 4149
b07 numVNegLitH 409 2435 1480.5 1473
b07 numVNegLit 409 2435 1480.5 1473
b07 maxPosRSizeC 45 65 49 45
b07 maxPosRSizeNC 3 3 3 3
b07 numAtomOccC 21083 184935 102842 101485
b07 numAtomOccNC 2432 8577 5436.1 4841.5
b07 maxNumAtomOcc 549 2528 1454.4 1219
b07 maxNumPosOccA 549 2528 1454.4 1219
b07 maxNumNegOccA 1 1 1 1
b07 dWidth 75 152 108.666666666667 99
b07 dEdges 22649 190288 106130.4 104402
b07 dNodes 11639 81955 47315.9 45072.5
b07 iWidth Inf -Inf NaN NA
b07 iEdges 22649 190288 106130.4 104402
b07 iNodes 11639 81955 47315.9 45072.5
b26 time_CPU 4.313 6.484 5.39066666666667 5.375
b26 choices 60814 97056 83256 91898
b26 conflicts 48351 75713 60995 58921
b26 backtracks 5 9 6.66666666666667 6
b26 backjumps 48346 75704 60988.3333333333 58915
b26 restarts 175 252 205.333333333333 189
b26 jumps 48346 75704 60988.3333333333 58915
b26 atoms 22379 24317 23348 23348
b26 rules 77885 84729 81307 81307
b26 bodies 47632 53324 51203.3333333333 52654
b26 equivalences 14611 15903 15257.3333333333 15258
b26 variables 14268 15648 14958 14958
b26 eliminated 0 0 0 0
b26 frozen 0 0 0 0
b26 constraints 47632 53324 51203.3333333333 52654
b26 nHornClauses 9782 10668 10225 10225
b26 nDualHornClauses 59472 64722 62097 62097
b26 maxClauseSize 3 3 3 3
b26 maxPositiveClauseSize 3 3 3 3
b26 maxNegativeClauseSize 1 1 1 1
b26 numVPosLitH 6035 6599 6317 6317
b26 numVPosLit 6035 6599 6317 6317
b26 numVNegLitH 441 479 460 460
b26 numVNegLit 441 479 460 460
b26 maxPosRSizeC 3 3 3 3
b26 maxPosRSizeNC 3 3 3 3
b26 numAtomOccC 200050 218078 209064 209064
b26 numAtomOccNC 23336 24990 24163 24163
b26 maxNumAtomOcc 45112 49072 47092 47092
b26 maxNumPosOccA 45112 49072 47092 47092
b26 maxNumNegOccA 21 21 21 21
b26 dWidth Inf -Inf NaN NA
b26 dEdges 221340 240852 231096 231096
b26 dNodes 97383 105925 101654 101654
b26 iWidth Inf -Inf NaN NA
b26 iEdges 221340 240852 231096 231096
b26 iNodes 97383 105925 101654 101654
17-Labyrinth time_CPU 0 40.891 4.48104 0.9845
17-Labyrinth choices 6 870286 100806.84 7090
17-Labyrinth conflicts 3 63564 8138.96 1358.5
17-Labyrinth backtracks 0 95 4.98 1
17-Labyrinth backjumps 3 63563 8133.98 1357.5
17-Labyrinth restarts 0 189 29.98 9.5
17-Labyrinth jumps 3 63563 8133.98 1357.5
17-Labyrinth atoms 629 21272 15525.26 16565.5
17-Labyrinth rules 1193 66905 48007.38 51337.5
17-Labyrinth bodies 2849 235264 167865.84 179660
17-Labyrinth equivalences 1109 25748 19160.52 20396.5
17-Labyrinth variables 767 63227 45156.42 48319
17-Labyrinth eliminated 0 0 0 0
17-Labyrinth frozen 211 15935 11355.98 12148.5
17-Labyrinth constraints 2849 235264 167865.84 179660
17-Labyrinth nHornClauses 101 3624 2690.74 2871
17-Labyrinth nDualHornClauses 514 50064 35671 38204
17-Labyrinth maxClauseSize 5 5 5 5
17-Labyrinth maxPositiveClauseSize 4 4 4 4
17-Labyrinth maxNegativeClauseSize 4 4 4 4
17-Labyrinth numVPosLitH 173 9787 7037.3 7510.5
17-Labyrinth numVPosLit 173 9787 7037.3 7510.5
17-Labyrinth numVNegLitH 32 1295 966.28 1033
17-Labyrinth numVNegLit 32 1295 966.28 1033
17-Labyrinth maxPosRSizeC 4 4 4 4
17-Labyrinth maxPosRSizeNC 2 3 2.98 3
17-Labyrinth numAtomOccC 2156 169116 120653.64 129134.5
17-Labyrinth numAtomOccNC 781 26349 19250.9 20550
17-Labyrinth maxNumAtomOcc 14 145 115.98 123
17-Labyrinth maxNumPosOccA 14 145 115.98 123
17-Labyrinth maxNumNegOccA 5 13 11.64 12
17-Labyrinth dWidth 112 1122 768 1070
17-Labyrinth dEdges 2716 193595 138479.02 148199
17-Labyrinth dNodes 1381 84536 60682.6 64912
17-Labyrinth iWidth Inf -Inf NaN NA
17-Labyrinth iEdges 2716 193595 138479.02 148199
17-Labyrinth iNodes 1381 84536 60682.6 64912
25-GraphColouring time_CPU 0.016 137.5 13.7375333333333 2.375
25-GraphColouring choices 269 2110219 248012.933333333 63136
25-GraphColouring conflicts 159 1889510 219704.933333333 53657
25-GraphColouring backtracks 0 0 0 0
25-GraphColouring backjumps 159 1889510 219704.933333333 53657
25-GraphColouring restarts 2 4094 574.666666666667 219
25-GraphColouring jumps 159 1889510 219704.933333333 53657
25-GraphColouring atoms 2958 3358 3106.4 3056
25-GraphColouring rules 9712 11062 10218.0666666667 10055
25-GraphColouring bodies 7505 8515 7878.66666666667 7750
25-GraphColouring equivalences 5663 6443 5954.46666666667 5859
25-GraphColouring variables 1375 1485 1404.33333333333 1375
25-GraphColouring eliminated 0 0 0 0
25-GraphColouring frozen 0 0 0 0
25-GraphColouring constraints 7505 8515 7878.66666666667 7750
25-GraphColouring nHornClauses 125 135 127.666666666667 125
25-GraphColouring nDualHornClauses 6130 7030 6474.33333333333 6375
25-GraphColouring maxClauseSize 3 3 3 3
25-GraphColouring maxPositiveClauseSize 3 3 3 3
25-GraphColouring maxNegativeClauseSize 1 1 1 1
25-GraphColouring numVPosLitH 1375 1485 1404.33333333333 1375
25-GraphColouring numVPosLit 1375 1485 1404.33333333333 1375
25-GraphColouring numVNegLitH 125 135 127.666666666667 125
25-GraphColouring numVNegLit 125 135 127.666666666667 125
25-GraphColouring maxPosRSizeC 3 3 3 3
25-GraphColouring maxPosRSizeNC 1 1 1 1
25-GraphColouring numAtomOccC 21140 24060 22231.6666666667 21875
25-GraphColouring numAtomOccNC 1582 1872 1701.06666666667 1680
25-GraphColouring maxNumAtomOcc 6255 7165 6602 6500
25-GraphColouring maxNumPosOccA 6255 7165 6602 6500
25-GraphColouring maxNumNegOccA 1 1 1 1
25-GraphColouring dWidth 354 409 379.636363636364 377
25-GraphColouring dEdges 19890 22710 20955 20625
25-GraphColouring dNodes 7632 8652 8008.33333333333 7877
25-GraphColouring iWidth Inf -Inf NaN NA
25-GraphColouring iEdges 19890 22710 20955 20625
25-GraphColouring iNodes 7632 8652 8008.33333333333 7877
10-SokobanDecision time_CPU 1.047 1.859 1.40625 1.3595
10-SokobanDecision choices 4776 11794 8785.75 9286.5
10-SokobanDecision conflicts 2750 8314 5905.5 6279
10-SokobanDecision backtracks 5 9 6.25 5.5
10-SokobanDecision backjumps 2744 8309 5899.25 6272
10-SokobanDecision restarts 15 32 26.75 30
10-SokobanDecision jumps 2744 8309 5899.25 6272
10-SokobanDecision atoms 4087 4858 4526.75 4581
10-SokobanDecision rules 78715 87708 83884.25 84557
10-SokobanDecision bodies 96856 105485 102516.25 103862
10-SokobanDecision equivalences 10046 11754 10944 10988
10-SokobanDecision variables 18704 20353 19592.5 19656.5
10-SokobanDecision eliminated 0 0 0 0
10-SokobanDecision frozen 3237 3768 3462.75 3423
10-SokobanDecision constraints 96856 105485 102516.25 103862
10-SokobanDecision nHornClauses 2986 3623 3337.5 3370.5
10-SokobanDecision nDualHornClauses 72580 82052 77733.5 78151
10-SokobanDecision maxClauseSize 5 5 5 5
10-SokobanDecision maxPositiveClauseSize 5 5 5 5
10-SokobanDecision maxNegativeClauseSize 1 1 1 1
10-SokobanDecision numVPosLitH 1673 1978 1853.75 1882
10-SokobanDecision numVPosLit 1673 1978 1853.75 1882
10-SokobanDecision numVNegLitH 472 615 560.75 578
10-SokobanDecision numVNegLit 472 615 560.75 578
10-SokobanDecision maxPosRSizeC 5 5 5 5
10-SokobanDecision maxPosRSizeNC 3 3 3 3
10-SokobanDecision numAtomOccC 186141 210304 200453.5 202684.5
10-SokobanDecision numAtomOccNC 44832 50782 48099.5 48392
10-SokobanDecision maxNumAtomOcc 56739 65790 61108.75 60953
10-SokobanDecision maxNumPosOccA 56739 65790 61108.75 60953
10-SokobanDecision maxNumNegOccA 36 42 37.75 36.5
10-SokobanDecision dWidth Inf -Inf NaN NA
10-SokobanDecision dEdges 232660 259754 248114.75 250022.5
10-SokobanDecision dNodes 82218 90772 87362 88229
10-SokobanDecision iWidth Inf -Inf NaN NA
10-SokobanDecision iEdges 232660 259754 248114.75 250022.5
10-SokobanDecision iNodes 82218 90772 87362 88229
22-HanoiTower time_CPU 2.953 6.453 5.03125 5.3595
22-HanoiTower choices 49562 97056 74832.5 76356
22-HanoiTower conflicts 40578 75713 55890.75 53636
22-HanoiTower backtracks 0 9 5 5.5
22-HanoiTower backjumps 40578 75704 55885.75 53630.5
22-HanoiTower restarts 145 252 190.25 182
22-HanoiTower jumps 40578 75704 55885.75 53630.5
22-HanoiTower atoms 22379 24454 23624.5 23832.5
22-HanoiTower rules 77885 85344 82316.25 83018
22-HanoiTower bodies 47632 56267 52469.25 52989
22-HanoiTower equivalences 14611 15903 15397.5 15538
22-HanoiTower variables 14268 15648 15128 15298
22-HanoiTower eliminated 0 0 0 0
22-HanoiTower frozen 0 0 0 0
22-HanoiTower constraints 47632 56267 52469.25 52989
22-HanoiTower nHornClauses 9782 10730 10351.25 10446.5
22-HanoiTower nDualHornClauses 59472 65296 62896.75 63409.5
22-HanoiTower maxClauseSize 3 3 3 3
22-HanoiTower maxPositiveClauseSize 3 3 3 3
22-HanoiTower maxNegativeClauseSize 1 1 1 1
22-HanoiTower numVPosLitH 6035 6599 6378.5 6440
22-HanoiTower numVPosLit 6035 6599 6378.5 6440
22-HanoiTower numVNegLitH 441 479 460.75 461.5
22-HanoiTower numVNegLit 441 479 460.75 461.5
22-HanoiTower maxPosRSizeC 3 3 3 3
22-HanoiTower maxPosRSizeNC 3 3 3 3
22-HanoiTower numAtomOccC 200050 219632 211706 213571
22-HanoiTower numAtomOccNC 23336 25357 24461.5 24576.5
22-HanoiTower maxNumAtomOcc 45112 49509 47696.25 48082
22-HanoiTower maxNumPosOccA 45112 49509 47696.25 48082
22-HanoiTower maxNumNegOccA 21 22 21.25 21
22-HanoiTower dWidth Inf -Inf NaN NA
22-HanoiTower dEdges 221340 242846 234033.5 235974
22-HanoiTower dNodes 97383 106775 102934.25 103789.5
22-HanoiTower iWidth Inf -Inf NaN NA
22-HanoiTower iEdges 221340 242846 234033.5 235974
22-HanoiTower iNodes 97383 106775 102934.25 103789.5
32-StableMarriage time_CPU 0 0.01 0.005 0.005
32-StableMarriage choices 19 54 36.5 36.5
32-StableMarriage conflicts 16 39 27.5 27.5
32-StableMarriage backtracks 0 2 1 1
32-StableMarriage backjumps 16 37 26.5 26.5
32-StableMarriage restarts 0 0 0 0
32-StableMarriage jumps 16 37 26.5 26.5
32-StableMarriage atoms 411 411 411 411
32-StableMarriage rules 24278 24666 24472 24472
32-StableMarriage bodies 2466 2676 2571 2571
32-StableMarriage equivalences 899 899 899 899
32-StableMarriage variables 110 110 110 110
32-StableMarriage eliminated 0 0 0 0
32-StableMarriage frozen 0 0 0 0
32-StableMarriage constraints 2466 2676 2571 2571
32-StableMarriage nHornClauses 20100 20100 20100 20100
32-StableMarriage nDualHornClauses 3878 4266 4072 4072
32-StableMarriage maxClauseSize 3 3 3 3
32-StableMarriage maxPositiveClauseSize 3 3 3 3
32-StableMarriage maxNegativeClauseSize 1 1 1 1
32-StableMarriage numVPosLitH 10 10 10 10
32-StableMarriage numVPosLit 10 10 10 10
32-StableMarriage numVNegLitH 10 10 10 10
32-StableMarriage numVNegLit 10 10 10 10
32-StableMarriage maxPosRSizeC 2 2 2 2
32-StableMarriage maxPosRSizeNC 3 3 3 3
32-StableMarriage numAtomOccC 400 400 400 400
32-StableMarriage numAtomOccNC 51834 52998 52416 52416
32-StableMarriage maxNumAtomOcc 3978 4366 4172 4172
32-StableMarriage maxNumPosOccA 3978 4366 4172 4172
32-StableMarriage maxNumNegOccA 100 100 100 100
32-StableMarriage dWidth Inf -Inf NaN NA
32-StableMarriage dEdges 52034 53198 52616 52616
32-StableMarriage dNodes 24290 24678 24484 24484
32-StableMarriage iWidth Inf -Inf NaN NA
32-StableMarriage iEdges 52034 53198 52616 52616
32-StableMarriage iNodes 24290 24678 24484 24484
03-StrategicCompanies time_CPU 11.578 531.328 259.10925 246.7655
03-StrategicCompanies choices 245787 5692487 3008327.75 3047518.5
03-StrategicCompanies conflicts 210679 4843617 2553447.5 2579747
03-StrategicCompanies backtracks 0 9 5.25 6
03-StrategicCompanies backjumps 210670 4843617 2553442.25 2579741
03-StrategicCompanies restarts 510 8190 4784.5 5219
03-StrategicCompanies jumps 210670 4843617 2553442.25 2579741
03-StrategicCompanies atoms 7002 17152 10589.5 9102
03-StrategicCompanies rules 13003 31853 19665.5 16903
03-StrategicCompanies bodies 59253 145633 89884.75 77326.5
03-StrategicCompanies equivalences 16011 39211 24206 20801
03-StrategicCompanies variables 11365 27905 17217.5 14800
03-StrategicCompanies eliminated 0 0 0 0
03-StrategicCompanies frozen 5500 13475 8317.5 7147.5
03-StrategicCompanies constraints 59253 145633 89884.75 77326.5
03-StrategicCompanies nHornClauses 2 2 2 2
03-StrategicCompanies nDualHornClauses 5000 12250 7562.5 6500
03-StrategicCompanies maxClauseSize 5 5 5 5
03-StrategicCompanies maxPositiveClauseSize 5 5 5 5
03-StrategicCompanies maxNegativeClauseSize 1 1 1 1
03-StrategicCompanies numVPosLitH 500 1225 756.25 650
03-StrategicCompanies numVPosLit 500 1225 756.25 650
03-StrategicCompanies numVNegLitH 2 2 2 2
03-StrategicCompanies numVNegLit 2 2 2 2
03-StrategicCompanies maxPosRSizeC 5 5 5 5
03-StrategicCompanies maxPosRSizeNC 1 1 1 1
03-StrategicCompanies numAtomOccC 31004 75954 46891.5 40304
03-StrategicCompanies numAtomOccNC 6501 15926 9832.25 8451
03-StrategicCompanies maxNumAtomOcc 82 88 85 85
03-StrategicCompanies maxNumPosOccA 82 88 85 85
03-StrategicCompanies maxNumNegOccA 1 1 1 1
03-StrategicCompanies dWidth 137 137 137 137
03-StrategicCompanies dEdges 24729 60694 37476.5 32241.5
03-StrategicCompanies dNodes 5504 13479 8322.75 7154
03-StrategicCompanies iWidth 104 104 104 104
03-StrategicCompanies iEdges 24729 60694 37476.5 32241.5
03-StrategicCompanies iNodes 5504 13479 8322.75 7154
15Puzzle time_CPU 0.797 121.344 37.51375 29.008
15Puzzle choices 5814 291771 112713.1875 96524.5
15Puzzle conflicts 1979 230041 85320.625 70905.5
15Puzzle backtracks 0 13 5.1875 4
15Puzzle backjumps 1978 230041 85315.4375 70897
15Puzzle restarts 14 626 278.1875 259
15Puzzle jumps 1978 230041 85315.4375 70897
15Puzzle atoms 10564 12024 11221 10856
15Puzzle rules 37273 42589 39665.5625 38337.5
15Puzzle bodies 95666 115613 105097.125 100791.5
15Puzzle equivalences 4202 4736 4441.875 4311.5
15Puzzle variables 38189 44925 41274.625 39659.5
15Puzzle eliminated 0 0 0 0
15Puzzle frozen 543 638 587.125 565.5
15Puzzle constraints 95666 115613 105097.125 100791.5
15Puzzle nHornClauses 9050 10345 9632.75 9309
15Puzzle nDualHornClauses 25846 29542 27509.5625 26586.5
15Puzzle maxClauseSize 17 17 17 17
15Puzzle maxPositiveClauseSize 17 17 17 17
15Puzzle maxNegativeClauseSize 2 2 2 2
15Puzzle numVPosLitH 8754 10236 9431.3125 9074.5
15Puzzle numVPosLit 546 628 583.1875 563
15Puzzle numVNegLitH 1144 1319 1222.5625 1179.5
15Puzzle numVNegLit 546 628 583.1875 563
15Puzzle maxPosRSizeC 17 17 17 17
15Puzzle maxPosRSizeNC 13 17 14.9375 14.5
15Puzzle numAtomOccC 138534 159436 147985.25 142830.5
15Puzzle numAtomOccNC 2926 3578 3227.5 3309.5
15Puzzle maxNumAtomOcc 627 718 668.3125 646.5
15Puzzle maxNumPosOccA 627 718 668.3125 646.5
15Puzzle maxNumNegOccA 243 243 243 243
15Puzzle dWidth 600 600 600 600
15Puzzle dEdges 141909 162228 151057.5 145993
15Puzzle dNodes 45919 52450 48858.3125 47226.5
15Puzzle iWidth Inf -Inf NaN NA
15Puzzle iEdges 141909 162228 151057.5 145993
15Puzzle iNodes 45919 52450 48858.3125 47226.5
SchurNumbers time_CPU 0.859 291.609 33.3797692307692 8.047
SchurNumbers choices 44186 4955127 774718.615384615 318609
SchurNumbers conflicts 36991 4370010 674944.615384615 274332
SchurNumbers backtracks 0 0 0 0
SchurNumbers backjumps 36991 4370010 674944.615384615 274332
SchurNumbers restarts 126 8744 1547.84615384615 765
SchurNumbers jumps 36991 4370010 674944.615384615 274332
SchurNumbers atoms 1031 1031 1031 1031
SchurNumbers rules 23525 23525 23525 23525
SchurNumbers bodies 13305 13975 13696.3846153846 13762
SchurNumbers equivalences 885 895 888.692307692308 888
SchurNumbers variables 701 711 703.538461538462 703
SchurNumbers eliminated 0 0 0 0
SchurNumbers frozen 0 0 0 0
SchurNumbers constraints 13305 13975 13696.3846153846 13762
SchurNumbers nHornClauses 115 115 115 115
SchurNumbers nDualHornClauses 21295 21325 21319 21321
SchurNumbers maxClauseSize 6 6 6 6
SchurNumbers maxPositiveClauseSize 6 6 6 6
SchurNumbers maxNegativeClauseSize 1 1 1 1
SchurNumbers numVPosLitH 701 711 703.538461538462 703
SchurNumbers numVPosLit 586 596 588.692307692308 588
SchurNumbers numVNegLitH 114 115 114.846153846154 115
SchurNumbers numVNegLit 0 0 0 0
SchurNumbers maxPosRSizeC 6 6 6 6
SchurNumbers maxPosRSizeNC 4 6 4.92307692307692 4
SchurNumbers numAtomOccC 84194 84504 84405.5384615385 84434
SchurNumbers numAtomOccNC 855 1165 953.461538461538 925
SchurNumbers maxNumAtomOcc 21370 21370 21370 21370
SchurNumbers maxNumPosOccA 21370 21370 21370 21370
SchurNumbers maxNumNegOccA 1 1 1 1
SchurNumbers dWidth Inf -Inf NaN NA
SchurNumbers dEdges 84249 84249 84249 84249
SchurNumbers dNodes 22512 22512 22512 22512
SchurNumbers iWidth Inf -Inf NaN NA
SchurNumbers iEdges 84249 84249 84249 84249
SchurNumbers iNodes 22512 22512 22512 22512

Plots

Comparison between solving time and coices

Comparison between solving time and the maximal pausitive clause size

Correlations

Statistic Statistic Correlation
conflicts backjumps 1
conflicts jumps 1
backjumps jumps 1
bodies constraints 1
maxNumAtomOcc maxNumPosOccA 1
dEdges iEdges 1
dNodes iNodes 1
choices conflicts 0.97
choices backjumps 0.97
choices jumps 0.97
conflicts restarts 0.97
backjumps restarts 0.97
restarts jumps 0.97
rules dNodes 0.97
rules iNodes 0.97
bodies variables 0.97
variables constraints 0.97
maxNegativeClauseSize maxNumNegOccA 0.97
numAtomOccNC iWidth -0.96
dEdges dNodes 0.95
dEdges iNodes 0.95
dNodes iEdges 0.95
iEdges iNodes 0.95
choices restarts 0.93
atoms iWidth 0.93
rules dEdges 0.92
rules iEdges 0.92
numVNegLitH numVNegLit 0.92
atoms equivalences 0.91
rules iWidth 0.9
maxClauseSize iWidth 0.9
maxPositiveClauseSize iWidth 0.9
numVPosLitH numVPosLit 0.9
maxPosRSizeC iWidth 0.9
nDualHornClauses dEdges 0.88
nDualHornClauses iEdges 0.88
numAtomOccC dEdges 0.87
numAtomOccC iEdges 0.87
atoms numVPosLitH 0.86
atoms numVPosLit 0.86
time_CPU conflicts 0.84
time_CPU backjumps 0.84
time_CPU jumps 0.84
maxClauseSize maxPositiveClauseSize 0.84
numVPosLitH iWidth 0.84
numVPosLit iWidth 0.84
time_CPU restarts 0.82
numAtomOccC dNodes 0.81
numAtomOccC iNodes 0.81
rules numAtomOccC 0.8
dNodes iWidth 0.79
iWidth iNodes 0.79
time_CPU choices 0.78
maxPositiveClauseSize maxPosRSizeNC 0.78
variables numVPosLitH 0.77
nDualHornClauses dNodes 0.77
nDualHornClauses iNodes 0.77
bodies dNodes 0.75
bodies iNodes 0.75
constraints dNodes 0.75
constraints iNodes 0.75
nDualHornClauses maxNumAtomOcc 0.75
nDualHornClauses maxNumPosOccA 0.75
equivalences numVPosLitH 0.74
equivalences numVPosLit 0.74
variables numVPosLit 0.73
maxPosRSizeNC iWidth 0.73
variables dWidth 0.72
nDualHornClauses numAtomOccC 0.72
numVPosLit numVNegLit 0.72
rules nDualHornClauses 0.71
numVPosLitH numVNegLitH 0.71
bodies numVPosLitH 0.7
bodies dWidth 0.7
bodies dEdges 0.7
bodies iEdges 0.7
constraints numVPosLitH 0.7
constraints dWidth 0.7
constraints dEdges 0.7
constraints iEdges 0.7
numVPosLit numVNegLitH 0.7
bodies numVPosLit 0.69
constraints numVPosLit 0.69
nHornClauses numVPosLitH 0.69
nHornClauses iWidth 0.69
maxNumAtomOcc iWidth 0.69
maxNumPosOccA iWidth 0.69
nHornClauses numVNegLitH 0.68
atoms variables 0.67
rules numVPosLitH 0.67
bodies frozen 0.67
equivalences iWidth 0.67
variables dNodes 0.67
variables iNodes 0.67
frozen constraints 0.67
maxClauseSize maxNegativeClauseSize 0.67
rules numVPosLit 0.66
numVPosLitH dNodes 0.66
numVPosLitH iNodes 0.66
rules bodies 0.65
rules constraints 0.65
dWidth dEdges 0.65
dWidth iEdges 0.65
backtracks iWidth -0.64
maxClauseSize maxNumNegOccA 0.64
numVPosLit dNodes 0.64
numVPosLit iNodes 0.64
dWidth dNodes 0.64
dWidth iNodes 0.64
variables frozen 0.63
nHornClauses numVNegLit 0.63
nDualHornClauses dWidth 0.63
maxPositiveClauseSize maxPosRSizeC 0.63
atoms nHornClauses 0.62
nHornClauses numVPosLit 0.62
maxClauseSize maxPosRSizeC 0.62
bodies numAtomOccC 0.61
variables dEdges 0.61
variables iEdges 0.61
frozen dWidth 0.61
constraints numAtomOccC 0.61
numVPosLitH numVNegLit 0.61
numAtomOccC iWidth 0.61
maxNumAtomOcc dEdges 0.61
maxNumAtomOcc iEdges 0.61
maxNumPosOccA dEdges 0.61
maxNumPosOccA iEdges 0.61
atoms rules 0.6
atoms bodies 0.6
atoms constraints 0.6
atoms dNodes 0.59
atoms iNodes 0.59
rules dWidth 0.59
bodies nDualHornClauses 0.59
constraints nDualHornClauses 0.59
rules variables 0.58
equivalences variables 0.58
maxClauseSize maxPosRSizeNC 0.58
numVPosLitH dEdges 0.58
numVPosLitH iEdges 0.58
numVPosLit dWidth 0.58
dEdges iWidth 0.58
iWidth iEdges 0.58
variables numVNegLitH 0.57
variables numVNegLit 0.57
numVPosLitH numAtomOccC 0.57
atoms numVNegLitH 0.56
rules equivalences 0.56
bodies numVNegLit 0.56
constraints numVNegLit 0.56
numVPosLitH dWidth 0.56
rules maxNumAtomOcc 0.55
rules maxNumPosOccA 0.55
variables numAtomOccC 0.55
numVPosLit dEdges 0.55
numVPosLit iEdges 0.55
bodies numVNegLitH 0.54
constraints numVNegLitH 0.54
nHornClauses dNodes 0.54
nHornClauses iNodes 0.54
atoms numVNegLit 0.53
rules nHornClauses 0.53
nHornClauses dEdges 0.53
nHornClauses iEdges 0.53
atoms dWidth 0.52
bodies equivalences 0.52
equivalences constraints 0.52
equivalences dNodes 0.52
equivalences iNodes 0.52
variables nHornClauses 0.52
frozen iWidth -0.52
numVPosLit numAtomOccC 0.52
equivalences dWidth 0.51
variables iWidth 0.5
nHornClauses numAtomOccC 0.5
maxNumAtomOcc dNodes 0.49
maxNumAtomOcc iNodes 0.49
maxNumPosOccA dNodes 0.49
maxNumPosOccA iNodes 0.49
numAtomOccC maxNumAtomOcc 0.48
numAtomOccC maxNumPosOccA 0.48
variables nDualHornClauses 0.47
conflicts iWidth -0.46
backjumps iWidth -0.46
restarts iWidth -0.46
jumps iWidth -0.46
bodies nHornClauses 0.46
frozen nDualHornClauses 0.46
constraints nHornClauses 0.46
numAtomOccC dWidth 0.46
time_CPU iWidth -0.45
choices iWidth -0.45
atoms dEdges 0.45
atoms iEdges 0.45
numVNegLitH dNodes 0.44
numVNegLitH iNodes 0.44
atoms numAtomOccC 0.43
rules numVNegLitH 0.43
equivalences nHornClauses 0.43
frozen dEdges 0.43
frozen dNodes 0.43
frozen iEdges 0.43
frozen iNodes 0.43
numVNegLit dNodes 0.43
numVNegLit iNodes 0.43
backtracks maxNumAtomOcc 0.42
backtracks maxNumPosOccA 0.42
equivalences frozen 0.42
rules numVNegLit 0.41
numVNegLitH numAtomOccC 0.41
atoms frozen 0.4
equivalences numVNegLitH 0.4
frozen numVPosLit 0.4
numVNegLitH dEdges 0.4
numVNegLitH iEdges 0.4
numVNegLit dEdges 0.4
numVNegLit iEdges 0.4
backtracks nDualHornClauses 0.39
frozen numAtomOccC 0.39
equivalences dEdges 0.38
equivalences iEdges 0.38
frozen numVPosLitH 0.38
equivalences numVNegLit 0.37
nHornClauses dWidth 0.37
numVNegLit numAtomOccC 0.37
equivalences numAtomOccC 0.36
numVNegLitH iWidth 0.36
numVNegLit iWidth 0.36
rules frozen 0.34
bodies iWidth 0.34
constraints iWidth 0.34
backtracks numAtomOccC 0.33
nDualHornClauses numVPosLit 0.33
nDualHornClauses numAtomOccNC 0.33
numVNegLit dWidth 0.33
backtracks dEdges 0.32
backtracks iEdges 0.32
nDualHornClauses numVPosLitH 0.32
numAtomOccNC maxNumAtomOcc 0.32
numAtomOccNC maxNumPosOccA 0.32
numAtomOccNC dEdges 0.32
numAtomOccNC iEdges 0.32
nDualHornClauses maxPosRSizeC -0.31
maxNegativeClauseSize numAtomOccC 0.31
numAtomOccC maxNumNegOccA 0.31
nHornClauses nDualHornClauses 0.29
maxNegativeClauseSize maxPosRSizeC 0.28
maxPosRSizeC dNodes -0.28
maxPosRSizeC iNodes -0.28
nDualHornClauses maxPositiveClauseSize -0.27
nDualHornClauses maxClauseSize -0.26
numVNegLitH dWidth 0.26
maxPosRSizeC maxNumNegOccA 0.26
maxPosRSizeC dEdges -0.26
maxPosRSizeC iEdges -0.26
numAtomOccNC dNodes 0.26
numAtomOccNC iNodes 0.26
backtracks rules 0.25
backtracks dNodes 0.25
backtracks iNodes 0.25
nDualHornClauses numVNegLit 0.25
rules maxPosRSizeC -0.24
rules numAtomOccNC 0.24
bodies maxPosRSizeC -0.24
constraints maxPosRSizeC -0.24
numAtomOccNC dWidth 0.22
rules maxPosRSizeNC 0.2
nDualHornClauses numVNegLitH 0.2
atoms nDualHornClauses 0.19
variables maxPosRSizeC -0.19
maxPosRSizeNC dNodes 0.19
maxPosRSizeNC iNodes 0.19
maxClauseSize numVPosLit -0.18
maxClauseSize numAtomOccC 0.17
maxPosRSizeC maxNumAtomOcc -0.17
maxPosRSizeC maxNumPosOccA -0.17
variables maxClauseSize -0.16
variables maxPositiveClauseSize -0.16
frozen maxPosRSizeC -0.16
maxPositiveClauseSize maxNegativeClauseSize 0.16
maxPositiveClauseSize numVPosLit -0.16
equivalences nDualHornClauses 0.15
maxClauseSize numVNegLit -0.15
maxPositiveClauseSize maxNumAtomOcc -0.15
maxPositiveClauseSize maxNumPosOccA -0.15
maxPositiveClauseSize maxNumNegOccA 0.15
maxPosRSizeC numAtomOccC -0.15
maxClauseSize maxNumAtomOcc -0.14
maxClauseSize maxNumPosOccA -0.14
maxNegativeClauseSize dNodes -0.14
maxNegativeClauseSize iNodes -0.14
maxNumNegOccA dWidth 0.14
backtracks frozen 0.13
bodies maxClauseSize -0.13
bodies numAtomOccNC 0.13
variables maxNumAtomOcc -0.13
variables maxNumPosOccA -0.13
constraints maxClauseSize -0.13
constraints numAtomOccNC 0.13
maxClauseSize numVPosLitH -0.13
maxPositiveClauseSize numVNegLit -0.13
maxNegativeClauseSize dWidth 0.13
numVPosLitH maxPosRSizeC -0.13
numVPosLit maxNumNegOccA -0.13
maxPosRSizeNC dWidth 0.13
maxPosRSizeNC dEdges 0.13
maxPosRSizeNC iEdges 0.13
backtracks maxPositiveClauseSize -0.12
backtracks maxPosRSizeC -0.12
atoms maxNumAtomOcc -0.12
atoms maxNumPosOccA -0.12
rules maxNegativeClauseSize -0.12
maxNegativeClauseSize numVPosLit -0.12
numVPosLit maxPosRSizeC -0.12
numVNegLit maxPosRSizeC -0.12
maxNumNegOccA dNodes -0.12
maxNumNegOccA iNodes -0.12
time_CPU numVNegLitH 0.11
rules maxNumNegOccA -0.11
bodies maxPositiveClauseSize -0.11
frozen maxPositiveClauseSize -0.11
frozen numAtomOccNC 0.11
constraints maxPositiveClauseSize -0.11
nDualHornClauses maxNegativeClauseSize -0.11
maxNegativeClauseSize numVNegLit -0.11
numVNegLit maxNumNegOccA -0.11
maxPosRSizeNC numAtomOccC 0.11
time_CPU numVNegLit 0.1
backtracks numVPosLitH 0.1
equivalences maxNumNegOccA -0.1
frozen maxClauseSize -0.1
nHornClauses maxPositiveClauseSize -0.1
maxPositiveClauseSize numVPosLitH -0.1
numVPosLit maxPosRSizeNC -0.1
numVNegLitH maxPosRSizeC -0.1
maxNumAtomOcc dWidth 0.1
maxNumPosOccA dWidth 0.1
conflicts nHornClauses -0.09
conflicts dNodes -0.09
conflicts iNodes -0.09
backtracks bodies 0.09
backtracks constraints 0.09
backtracks maxClauseSize -0.09
backjumps nHornClauses -0.09
backjumps dNodes -0.09
backjumps iNodes -0.09
restarts nHornClauses -0.09
restarts dNodes -0.09
restarts iNodes -0.09
jumps nHornClauses -0.09
jumps dNodes -0.09
jumps iNodes -0.09
atoms maxClauseSize -0.09
atoms maxNumNegOccA -0.09
bodies maxNegativeClauseSize -0.09
equivalences maxClauseSize -0.09
constraints maxNegativeClauseSize -0.09
nHornClauses maxPosRSizeC -0.09
nDualHornClauses maxPosRSizeNC -0.09
nDualHornClauses maxNumNegOccA -0.09
maxClauseSize dWidth 0.09
maxClauseSize dNodes -0.09
maxClauseSize iNodes -0.09
maxNegativeClauseSize numVPosLitH -0.09
time_CPU bodies 0.08
time_CPU constraints 0.08
choices nHornClauses -0.08
conflicts rules -0.08
backtracks dWidth 0.08
backjumps rules -0.08
restarts rules -0.08
jumps rules -0.08
atoms maxNegativeClauseSize -0.08
atoms maxPosRSizeC -0.08
equivalences maxNegativeClauseSize -0.08
equivalences maxNumAtomOcc -0.08
equivalences maxNumPosOccA -0.08
variables maxNegativeClauseSize -0.08
nHornClauses maxClauseSize -0.08
numVNegLitH maxNumAtomOcc -0.08
numVNegLitH maxNumPosOccA -0.08
time_CPU variables 0.07
choices rules -0.07
choices dNodes -0.07
choices iNodes -0.07
conflicts numVPosLitH -0.07
conflicts numVPosLit -0.07
conflicts dEdges -0.07
conflicts iEdges -0.07
backjumps numVPosLitH -0.07
backjumps numVPosLit -0.07
backjumps dEdges -0.07
backjumps iEdges -0.07
restarts numVPosLitH -0.07
restarts numVPosLit -0.07
jumps numVPosLitH -0.07
jumps numVPosLit -0.07
jumps dEdges -0.07
jumps iEdges -0.07
atoms maxPositiveClauseSize -0.07
bodies maxNumNegOccA -0.07
constraints maxNumNegOccA -0.07
maxClauseSize dEdges -0.07
maxClauseSize iEdges -0.07
maxPositiveClauseSize dEdges -0.07
maxPositiveClauseSize iEdges -0.07
numVPosLitH maxNumNegOccA -0.07
time_CPU maxClauseSize -0.06
conflicts variables -0.06
conflicts numAtomOccC -0.06
conflicts dWidth -0.06
backtracks numVPosLit 0.06
backjumps variables -0.06
backjumps numAtomOccC -0.06
backjumps dWidth -0.06
restarts atoms -0.06
restarts variables -0.06
restarts dEdges -0.06
restarts iEdges -0.06
jumps variables -0.06
jumps numAtomOccC -0.06
jumps dWidth -0.06
rules maxClauseSize -0.06
bodies maxPosRSizeNC 0.06
equivalences maxPositiveClauseSize -0.06
equivalences numAtomOccNC 0.06
frozen numVNegLitH 0.06
frozen numVNegLit 0.06
constraints maxPosRSizeNC 0.06
maxNegativeClauseSize maxNumAtomOcc -0.06
maxNegativeClauseSize maxNumPosOccA -0.06
numVNegLit maxNumAtomOcc -0.06
numVNegLit maxNumPosOccA -0.06
maxNumAtomOcc maxNumNegOccA -0.06
maxNumPosOccA maxNumNegOccA -0.06
time_CPU frozen 0.05
time_CPU maxPositiveClauseSize -0.05
time_CPU numVPosLitH 0.05
time_CPU maxPosRSizeC -0.05
choices numVPosLitH -0.05
choices dWidth -0.05
choices dEdges -0.05
choices iEdges -0.05
conflicts atoms -0.05
conflicts bodies -0.05
conflicts constraints -0.05
conflicts nDualHornClauses -0.05
backtracks restarts 0.05
backtracks equivalences 0.05
backtracks numVNegLit -0.05
backtracks maxPosRSizeNC -0.05
backjumps atoms -0.05
backjumps bodies -0.05
backjumps constraints -0.05
backjumps nDualHornClauses -0.05
restarts bodies -0.05
restarts constraints -0.05
restarts maxClauseSize -0.05
restarts numAtomOccC -0.05
restarts dWidth -0.05
jumps atoms -0.05
jumps bodies -0.05
jumps constraints -0.05
jumps nDualHornClauses -0.05
variables maxPosRSizeNC -0.05
variables numAtomOccNC 0.05
nHornClauses maxNumAtomOcc 0.05
nHornClauses maxNumPosOccA 0.05
numVNegLitH maxPosRSizeNC 0.05
numVNegLit maxPosRSizeNC -0.05
maxPosRSizeNC maxNumAtomOcc -0.05
maxPosRSizeNC maxNumPosOccA -0.05
choices atoms -0.04
choices numVPosLit -0.04
choices numAtomOccC -0.04
backtracks variables 0.04
restarts nDualHornClauses -0.04
restarts maxPositiveClauseSize -0.04
restarts maxPosRSizeC -0.04
restarts numAtomOccNC -0.04
variables maxNumNegOccA -0.04
frozen nHornClauses 0.04
nHornClauses numAtomOccNC 0.04
maxClauseSize numVNegLitH -0.04
maxClauseSize numAtomOccNC -0.04
maxPositiveClauseSize numAtomOccNC -0.04
maxNegativeClauseSize numVNegLitH -0.04
numVNegLitH numAtomOccNC -0.04
numVNegLitH maxNumNegOccA -0.04
maxPosRSizeNC numAtomOccNC 0.04
numAtomOccC numAtomOccNC -0.04
numAtomOccNC maxNumNegOccA -0.04
time_CPU equivalences 0.03
time_CPU nDualHornClauses 0.03
time_CPU maxPosRSizeNC -0.03
time_CPU numAtomOccC 0.03
time_CPU numAtomOccNC -0.03
choices bodies -0.03
choices equivalences -0.03
choices variables -0.03
choices constraints -0.03
choices nDualHornClauses -0.03
choices maxClauseSize -0.03
choices numAtomOccNC -0.03
conflicts maxClauseSize -0.03
conflicts maxPositiveClauseSize -0.03
conflicts maxPosRSizeC -0.03
conflicts numAtomOccNC -0.03
conflicts maxNumNegOccA -0.03
backtracks nHornClauses 0.03
backtracks numAtomOccNC -0.03
backjumps maxClauseSize -0.03
backjumps maxPositiveClauseSize -0.03
backjumps maxPosRSizeC -0.03
backjumps numAtomOccNC -0.03
backjumps maxNumNegOccA -0.03
restarts maxNumNegOccA -0.03
jumps maxClauseSize -0.03
jumps maxPositiveClauseSize -0.03
jumps maxPosRSizeC -0.03
jumps numAtomOccNC -0.03
jumps maxNumNegOccA -0.03
atoms numAtomOccNC 0.03
equivalences maxPosRSizeC -0.03
equivalences maxPosRSizeNC -0.03
frozen maxNumNegOccA -0.03
nHornClauses maxNumNegOccA 0.03
maxPositiveClauseSize numVNegLitH -0.03
maxPositiveClauseSize dNodes -0.03
maxPositiveClauseSize iNodes -0.03
maxNegativeClauseSize numAtomOccNC -0.03
maxNegativeClauseSize dEdges -0.03
maxNegativeClauseSize iEdges -0.03
numVPosLitH maxPosRSizeNC -0.03
numVPosLitH numAtomOccNC -0.03
maxPosRSizeC numAtomOccNC -0.03
maxNumNegOccA iWidth -0.03
time_CPU maxNumNegOccA -0.02
time_CPU dWidth -0.02
time_CPU dEdges 0.02
time_CPU iEdges 0.02
choices frozen 0.02
choices maxPositiveClauseSize -0.02
choices numVNegLit 0.02
choices maxPosRSizeC -0.02
choices maxPosRSizeNC -0.02
choices maxNumAtomOcc -0.02
choices maxNumPosOccA -0.02
choices maxNumNegOccA -0.02
conflicts equivalences -0.02
conflicts numVNegLitH -0.02
conflicts maxPosRSizeNC -0.02
backtracks numVNegLitH -0.02
backjumps equivalences -0.02
backjumps numVNegLitH -0.02
backjumps maxPosRSizeNC -0.02
restarts equivalences -0.02
restarts maxPosRSizeNC -0.02
jumps equivalences -0.02
jumps numVNegLitH -0.02
jumps maxPosRSizeNC -0.02
atoms maxPosRSizeNC -0.02
frozen maxNegativeClauseSize -0.02
nHornClauses maxNegativeClauseSize -0.02
nHornClauses maxPosRSizeNC -0.02
maxNegativeClauseSize maxPosRSizeNC -0.02
numVPosLitH maxNumAtomOcc -0.02
numVPosLitH maxNumPosOccA -0.02
maxPosRSizeC maxPosRSizeNC 0.02
maxPosRSizeNC maxNumNegOccA -0.02
time_CPU backtracks -0.01
time_CPU atoms 0.01
time_CPU nHornClauses 0.01
time_CPU maxNegativeClauseSize -0.01
time_CPU numVPosLit -0.01
choices backtracks 0.01
choices maxNegativeClauseSize 0.01
choices numVNegLitH 0.01
conflicts backtracks -0.01
conflicts frozen 0.01
conflicts numVNegLit -0.01
conflicts maxNumAtomOcc -0.01
conflicts maxNumPosOccA -0.01
backtracks backjumps -0.01
backtracks jumps -0.01
backtracks atoms -0.01
backtracks maxNumNegOccA 0.01
backjumps frozen 0.01
backjumps numVNegLit -0.01
backjumps maxNumAtomOcc -0.01
backjumps maxNumPosOccA -0.01
restarts maxNegativeClauseSize -0.01
restarts numVNegLitH -0.01
restarts numVNegLit 0.01
jumps frozen 0.01
jumps numVNegLit -0.01
jumps maxNumAtomOcc -0.01
jumps maxNumPosOccA -0.01
frozen maxPosRSizeNC -0.01
frozen maxNumAtomOcc -0.01
frozen maxNumPosOccA -0.01
nDualHornClauses iWidth 0.01
maxPositiveClauseSize numAtomOccC -0.01
maxPositiveClauseSize dWidth -0.01
numVPosLit numAtomOccNC -0.01
numVNegLit numAtomOccNC -0.01
maxPosRSizeC dWidth -0.01
maxNumNegOccA dEdges -0.01
maxNumNegOccA iEdges -0.01
time_CPU rules 0
time_CPU maxNumAtomOcc 0
time_CPU maxNumPosOccA 0
time_CPU dNodes 0
time_CPU iNodes 0
conflicts maxNegativeClauseSize 0
backtracks maxNegativeClauseSize 0
backjumps maxNegativeClauseSize 0
restarts frozen 0
restarts maxNumAtomOcc 0
restarts maxNumPosOccA 0
jumps maxNegativeClauseSize 0
rules maxPositiveClauseSize 0
bodies maxNumAtomOcc 0
bodies maxNumPosOccA 0
constraints maxNumAtomOcc 0
constraints maxNumPosOccA 0
numVPosLit maxNumAtomOcc 0
numVPosLit maxNumPosOccA 0

All Plots

## [1] "time_CPU" "choices"  "0.78"

## NULL
## [1] "time_CPU"  "conflicts" "0.84"

## NULL
## [1] "time_CPU"  "backjumps" "0.84"

## NULL
## [1] "time_CPU" "restarts" "0.82"

## NULL
## [1] "time_CPU" "jumps"    "0.84"

## NULL
## [1] "choices"   "conflicts" "0.97"

## NULL
## [1] "choices"   "backjumps" "0.97"

## NULL
## [1] "choices"  "restarts" "0.93"

## NULL
## [1] "choices" "jumps"   "0.97"

## NULL
## [1] "conflicts" "backjumps" "1"

## NULL
## [1] "conflicts" "restarts"  "0.97"

## NULL
## [1] "conflicts" "jumps"     "1"

## NULL
## [1] "backjumps" "restarts"  "0.97"

## NULL
## [1] "backjumps" "jumps"     "1"

## NULL
## [1] "restarts" "jumps"    "0.97"

## NULL
## [1] "atoms"        "equivalences" "0.91"

## NULL
## [1] "atoms"       "numVPosLitH" "0.86"

## NULL
## [1] "atoms"      "numVPosLit" "0.86"

## NULL
## [1] "atoms"  "iWidth" "0.93"

## NULL
## [1] "rules"            "nDualHornClauses" "0.71"

## NULL
## [1] "rules"       "numAtomOccC" "0.8"

## NULL
## [1] "rules"  "dEdges" "0.92"

## NULL
## [1] "rules"  "dNodes" "0.97"

## NULL
## [1] "rules"  "iWidth" "0.9"

## NULL
## [1] "rules"  "iEdges" "0.92"

## NULL
## [1] "rules"  "iNodes" "0.97"

## NULL
## [1] "bodies"    "variables" "0.97"

## NULL
## [1] "bodies"      "constraints" "1"

## NULL
## [1] "bodies"      "numVPosLitH" "0.7"

## NULL
## [1] "bodies" "dWidth" "0.7"

## NULL
## [1] "bodies" "dEdges" "0.7"

## NULL
## [1] "bodies" "dNodes" "0.75"

## NULL
## [1] "bodies" "iEdges" "0.7"

## NULL
## [1] "bodies" "iNodes" "0.75"

## NULL
## [1] "equivalences" "numVPosLitH"  "0.74"

## NULL
## [1] "equivalences" "numVPosLit"   "0.74"

## NULL
## [1] "variables"   "constraints" "0.97"

## NULL
## [1] "variables"   "numVPosLitH" "0.77"

## NULL
## [1] "variables"  "numVPosLit" "0.73"

## NULL
## [1] "variables" "dWidth"    "0.72"

## NULL
## [1] "constraints" "numVPosLitH" "0.7"

## NULL
## [1] "constraints" "dWidth"      "0.7"

## NULL
## [1] "constraints" "dEdges"      "0.7"

## NULL
## [1] "constraints" "dNodes"      "0.75"

## NULL
## [1] "constraints" "iEdges"      "0.7"

## NULL
## [1] "constraints" "iNodes"      "0.75"

## NULL
## [1] "nDualHornClauses" "numAtomOccC"      "0.72"

## NULL
## [1] "nDualHornClauses" "maxNumAtomOcc"    "0.75"

## NULL
## [1] "nDualHornClauses" "maxNumPosOccA"    "0.75"

## NULL
## [1] "nDualHornClauses" "dEdges"           "0.88"

## NULL
## [1] "nDualHornClauses" "dNodes"           "0.77"

## NULL
## [1] "nDualHornClauses" "iEdges"           "0.88"

## NULL
## [1] "nDualHornClauses" "iNodes"           "0.77"

## NULL
## [1] "maxClauseSize"         "maxPositiveClauseSize" "0.84"

## NULL
## [1] "maxClauseSize" "iWidth"        "0.9"

## NULL
## [1] "maxPositiveClauseSize" "maxPosRSizeNC"         "0.78"

## NULL
## [1] "maxPositiveClauseSize" "iWidth"                "0.9"

## NULL
## [1] "maxNegativeClauseSize" "maxNumNegOccA"         "0.97"

## NULL
## [1] "numVPosLitH" "numVPosLit"  "0.9"

## NULL
## [1] "numVPosLitH" "numVNegLitH" "0.71"

## NULL
## [1] "numVPosLitH" "iWidth"      "0.84"

## NULL
## [1] "numVPosLit"  "numVNegLitH" "0.7"

## NULL
## [1] "numVPosLit" "numVNegLit" "0.72"

## NULL
## [1] "numVPosLit" "iWidth"     "0.84"

## NULL
## [1] "numVNegLitH" "numVNegLit"  "0.92"

## NULL
## [1] "maxPosRSizeC" "iWidth"       "0.9"

## NULL
## [1] "maxPosRSizeNC" "iWidth"        "0.73"

## NULL
## [1] "numAtomOccC" "dEdges"      "0.87"

## NULL
## [1] "numAtomOccC" "dNodes"      "0.81"

## NULL
## [1] "numAtomOccC" "iEdges"      "0.87"

## NULL
## [1] "numAtomOccC" "iNodes"      "0.81"

## NULL
## [1] "numAtomOccNC" "iWidth"       "-0.96"

## NULL
## [1] "maxNumAtomOcc" "maxNumPosOccA" "1"

## NULL
## [1] "dEdges" "dNodes" "0.95"

## NULL
## [1] "dEdges" "iEdges" "1"

## NULL
## [1] "dEdges" "iNodes" "0.95"

## NULL
## [1] "dNodes" "iWidth" "0.79"

## NULL
## [1] "dNodes" "iEdges" "0.95"

## NULL
## [1] "dNodes" "iNodes" "1"

## NULL
## [1] "iWidth" "iNodes" "0.79"

## NULL
## [1] "iEdges" "iNodes" "0.95"

## NULL
## [1] "backtracks" "iWidth"     "-0.64"

## NULL
## [1] "atoms" "rules" "0.6"

## NULL
## [1] "atoms"  "bodies" "0.6"

## NULL
## [1] "atoms"     "variables" "0.67"

## NULL
## [1] "atoms"       "constraints" "0.6"

## NULL
## [1] "atoms"        "nHornClauses" "0.62"

## NULL
## [1] "atoms"       "numVNegLitH" "0.56"

## NULL
## [1] "atoms"      "numVNegLit" "0.53"

## NULL
## [1] "atoms"  "dWidth" "0.52"

## NULL
## [1] "atoms"  "dNodes" "0.59"

## NULL
## [1] "atoms"  "iNodes" "0.59"

## NULL
## [1] "rules"  "bodies" "0.65"

## NULL
## [1] "rules"        "equivalences" "0.56"

## NULL
## [1] "rules"     "variables" "0.58"

## NULL
## [1] "rules"       "constraints" "0.65"

## NULL
## [1] "rules"        "nHornClauses" "0.53"

## NULL
## [1] "rules"       "numVPosLitH" "0.67"

## NULL
## [1] "rules"      "numVPosLit" "0.66"

## NULL
## [1] "rules"         "maxNumAtomOcc" "0.55"

## NULL
## [1] "rules"         "maxNumPosOccA" "0.55"

## NULL
## [1] "rules"  "dWidth" "0.59"

## NULL
## [1] "bodies"       "equivalences" "0.52"

## NULL
## [1] "bodies" "frozen" "0.67"

## NULL
## [1] "bodies"           "nDualHornClauses" "0.59"

## NULL
## [1] "bodies"      "numVPosLitH" "0.7"

## NULL
## [1] "bodies"     "numVPosLit" "0.69"

## NULL
## [1] "bodies"      "numVNegLitH" "0.54"

## NULL
## [1] "bodies"     "numVNegLit" "0.56"

## NULL
## [1] "bodies"      "numAtomOccC" "0.61"

## NULL
## [1] "bodies" "dWidth" "0.7"

## NULL
## [1] "bodies" "dEdges" "0.7"

## NULL
## [1] "bodies" "iEdges" "0.7"

## NULL
## [1] "equivalences" "variables"    "0.58"

## NULL
## [1] "equivalences" "constraints"  "0.52"

## NULL
## [1] "equivalences" "dWidth"       "0.51"

## NULL
## [1] "equivalences" "dNodes"       "0.52"

## NULL
## [1] "equivalences" "iWidth"       "0.67"

## NULL
## [1] "equivalences" "iNodes"       "0.52"

## NULL
## [1] "variables" "frozen"    "0.63"

## NULL
## [1] "variables"    "nHornClauses" "0.52"

## NULL
## [1] "variables"   "numVNegLitH" "0.57"

## NULL
## [1] "variables"  "numVNegLit" "0.57"

## NULL
## [1] "variables"   "numAtomOccC" "0.55"

## NULL
## [1] "variables" "dEdges"    "0.61"

## NULL
## [1] "variables" "dNodes"    "0.67"

## NULL
## [1] "variables" "iWidth"    "0.5"

## NULL
## [1] "variables" "iEdges"    "0.61"

## NULL
## [1] "variables" "iNodes"    "0.67"

## NULL
## [1] "frozen"      "constraints" "0.67"

## NULL
## [1] "frozen" "dWidth" "0.61"

## NULL
## [1] "frozen" "iWidth" "-0.52"

## NULL
## [1] "constraints"      "nDualHornClauses" "0.59"

## NULL
## [1] "constraints" "numVPosLitH" "0.7"

## NULL
## [1] "constraints" "numVPosLit"  "0.69"

## NULL
## [1] "constraints" "numVNegLitH" "0.54"

## NULL
## [1] "constraints" "numVNegLit"  "0.56"

## NULL
## [1] "constraints" "numAtomOccC" "0.61"

## NULL
## [1] "constraints" "dWidth"      "0.7"

## NULL
## [1] "constraints" "dEdges"      "0.7"

## NULL
## [1] "constraints" "iEdges"      "0.7"

## NULL
## [1] "nHornClauses" "numVPosLitH"  "0.69"

## NULL
## [1] "nHornClauses" "numVPosLit"   "0.62"

## NULL
## [1] "nHornClauses" "numVNegLitH"  "0.68"

## NULL
## [1] "nHornClauses" "numVNegLit"   "0.63"

## NULL
## [1] "nHornClauses" "numAtomOccC"  "0.5"

## NULL
## [1] "nHornClauses" "dEdges"       "0.53"

## NULL
## [1] "nHornClauses" "dNodes"       "0.54"

## NULL
## [1] "nHornClauses" "iWidth"       "0.69"

## NULL
## [1] "nHornClauses" "iEdges"       "0.53"

## NULL
## [1] "nHornClauses" "iNodes"       "0.54"

## NULL
## [1] "nDualHornClauses" "dWidth"           "0.63"

## NULL
## [1] "maxClauseSize"         "maxNegativeClauseSize" "0.67"

## NULL
## [1] "maxClauseSize" "maxPosRSizeC"  "0.62"

## NULL
## [1] "maxClauseSize" "maxPosRSizeNC" "0.58"

## NULL
## [1] "maxClauseSize" "maxNumNegOccA" "0.64"

## NULL
## [1] "maxPositiveClauseSize" "maxPosRSizeC"          "0.63"

## NULL
## [1] "numVPosLitH" "numVNegLit"  "0.61"

## NULL
## [1] "numVPosLitH" "numAtomOccC" "0.57"

## NULL
## [1] "numVPosLitH" "dWidth"      "0.56"

## NULL
## [1] "numVPosLitH" "dEdges"      "0.58"

## NULL
## [1] "numVPosLitH" "dNodes"      "0.66"

## NULL
## [1] "numVPosLitH" "iEdges"      "0.58"

## NULL
## [1] "numVPosLitH" "iNodes"      "0.66"

## NULL
## [1] "numVPosLit"  "numVNegLitH" "0.7"

## NULL
## [1] "numVPosLit"  "numAtomOccC" "0.52"

## NULL
## [1] "numVPosLit" "dWidth"     "0.58"

## NULL
## [1] "numVPosLit" "dEdges"     "0.55"

## NULL
## [1] "numVPosLit" "dNodes"     "0.64"

## NULL
## [1] "numVPosLit" "iEdges"     "0.55"

## NULL
## [1] "numVPosLit" "iNodes"     "0.64"

## NULL
## [1] "numAtomOccC" "iWidth"      "0.61"

## NULL
## [1] "maxNumAtomOcc" "dEdges"        "0.61"

## NULL
## [1] "maxNumAtomOcc" "iWidth"        "0.69"

## NULL
## [1] "maxNumAtomOcc" "iEdges"        "0.61"

## NULL
## [1] "maxNumPosOccA" "dEdges"        "0.61"

## NULL
## [1] "maxNumPosOccA" "iWidth"        "0.69"

## NULL
## [1] "maxNumPosOccA" "iEdges"        "0.61"

## NULL
## [1] "dWidth" "dEdges" "0.65"

## NULL
## [1] "dWidth" "dNodes" "0.64"

## NULL
## [1] "dWidth" "iEdges" "0.65"

## NULL
## [1] "dWidth" "iNodes" "0.64"

## NULL
## [1] "dEdges" "iWidth" "0.58"

## NULL
## [1] "iWidth" "iEdges" "0.58"

## NULL
## [1] "time_CPU" "iWidth"   "-0.45"

## NULL
## [1] "choices" "iWidth"  "-0.45"

## NULL
## [1] "conflicts" "iWidth"    "-0.46"

## NULL
## [1] "backtracks"       "nDualHornClauses" "0.39"

## NULL
## [1] "backtracks"  "numAtomOccC" "0.33"

## NULL
## [1] "backtracks"    "maxNumAtomOcc" "0.42"

## NULL
## [1] "backtracks"    "maxNumPosOccA" "0.42"

## NULL
## [1] "backtracks" "dEdges"     "0.32"

## NULL
## [1] "backtracks" "iEdges"     "0.32"

## NULL
## [1] "backjumps" "iWidth"    "-0.46"

## NULL
## [1] "restarts" "iWidth"   "-0.46"

## NULL
## [1] "jumps"  "iWidth" "-0.46"

## NULL
## [1] "atoms"  "frozen" "0.4"

## NULL
## [1] "atoms"       "numAtomOccC" "0.43"

## NULL
## [1] "atoms"  "dEdges" "0.45"

## NULL
## [1] "atoms"  "iEdges" "0.45"

## NULL
## [1] "rules"  "frozen" "0.34"

## NULL
## [1] "rules"       "numVNegLitH" "0.43"

## NULL
## [1] "rules"      "numVNegLit" "0.41"

## NULL
## [1] "bodies"       "nHornClauses" "0.46"

## NULL
## [1] "bodies" "iWidth" "0.34"

## NULL
## [1] "equivalences" "frozen"       "0.42"

## NULL
## [1] "equivalences" "nHornClauses" "0.43"

## NULL
## [1] "equivalences" "numVNegLitH"  "0.4"

## NULL
## [1] "equivalences" "numVNegLit"   "0.37"

## NULL
## [1] "equivalences" "numAtomOccC"  "0.36"

## NULL
## [1] "equivalences" "dEdges"       "0.38"

## NULL
## [1] "equivalences" "iEdges"       "0.38"

## NULL
## [1] "variables"        "nDualHornClauses" "0.47"

## NULL
## [1] "variables" "iWidth"    "0.5"

## NULL
## [1] "frozen"           "nDualHornClauses" "0.46"

## NULL
## [1] "frozen"      "numVPosLitH" "0.38"

## NULL
## [1] "frozen"     "numVPosLit" "0.4"

## NULL
## [1] "frozen"      "numAtomOccC" "0.39"

## NULL
## [1] "frozen" "dEdges" "0.43"

## NULL
## [1] "frozen" "dNodes" "0.43"

## NULL
## [1] "frozen" "iEdges" "0.43"

## NULL
## [1] "frozen" "iNodes" "0.43"

## NULL
## [1] "constraints"  "nHornClauses" "0.46"

## NULL
## [1] "constraints" "iWidth"      "0.34"

## NULL
## [1] "nHornClauses" "numAtomOccC"  "0.5"

## NULL
## [1] "nHornClauses" "dWidth"       "0.37"

## NULL
## [1] "nDualHornClauses" "numVPosLitH"      "0.32"

## NULL
## [1] "nDualHornClauses" "numVPosLit"       "0.33"

## NULL
## [1] "nDualHornClauses" "maxPosRSizeC"     "-0.31"

## NULL
## [1] "nDualHornClauses" "numAtomOccNC"     "0.33"

## NULL
## [1] "maxNegativeClauseSize" "numAtomOccC"           "0.31"

## NULL
## [1] "numVNegLitH" "numAtomOccC" "0.41"

## NULL
## [1] "numVNegLitH" "dEdges"      "0.4"

## NULL
## [1] "numVNegLitH" "dNodes"      "0.44"

## NULL
## [1] "numVNegLitH" "iWidth"      "0.36"

## NULL
## [1] "numVNegLitH" "iEdges"      "0.4"

## NULL
## [1] "numVNegLitH" "iNodes"      "0.44"

## NULL
## [1] "numVNegLit"  "numAtomOccC" "0.37"

## NULL
## [1] "numVNegLit" "dWidth"     "0.33"

## NULL
## [1] "numVNegLit" "dEdges"     "0.4"

## NULL
## [1] "numVNegLit" "dNodes"     "0.43"

## NULL
## [1] "numVNegLit" "iWidth"     "0.36"

## NULL
## [1] "numVNegLit" "iEdges"     "0.4"

## NULL
## [1] "numVNegLit" "iNodes"     "0.43"

## NULL
## [1] "numAtomOccC"   "maxNumAtomOcc" "0.48"

## NULL
## [1] "numAtomOccC"   "maxNumPosOccA" "0.48"

## NULL
## [1] "numAtomOccC"   "maxNumNegOccA" "0.31"

## NULL
## [1] "numAtomOccC" "dWidth"      "0.46"

## NULL
## [1] "numAtomOccNC"  "maxNumAtomOcc" "0.32"

## NULL
## [1] "numAtomOccNC"  "maxNumPosOccA" "0.32"

## NULL
## [1] "numAtomOccNC" "dEdges"       "0.32"

## NULL
## [1] "numAtomOccNC" "iEdges"       "0.32"

## NULL
## [1] "maxNumAtomOcc" "dNodes"        "0.49"

## NULL
## [1] "maxNumAtomOcc" "iNodes"        "0.49"

## NULL
## [1] "maxNumPosOccA" "dNodes"        "0.49"

## NULL
## [1] "maxNumPosOccA" "iNodes"        "0.49"

## NULL
## [1] "time_CPU"   "backtracks" "-0.01"

## NULL
## [1] "time_CPU" "atoms"    "0.01"

## NULL
## [1] "time_CPU" "rules"    "0"

## NULL
## [1] "time_CPU" "bodies"   "0.08"

## NULL
## [1] "time_CPU"     "equivalences" "0.03"

## NULL
## [1] "time_CPU"  "variables" "0.07"

## NULL
## [1] "time_CPU" "frozen"   "0.05"

## NULL
## [1] "time_CPU"    "constraints" "0.08"

## NULL
## [1] "time_CPU"     "nHornClauses" "0.01"

## NULL
## [1] "time_CPU"         "nDualHornClauses" "0.03"

## NULL
## [1] "time_CPU"      "maxClauseSize" "-0.06"

## NULL
## [1] "time_CPU"              "maxPositiveClauseSize" "-0.05"

## NULL
## [1] "time_CPU"              "maxNegativeClauseSize" "-0.01"

## NULL
## [1] "time_CPU"    "numVPosLitH" "0.05"

## NULL
## [1] "time_CPU"   "numVPosLit" "-0.01"

## NULL
## [1] "time_CPU"    "numVNegLitH" "0.11"

## NULL
## [1] "time_CPU"   "numVNegLit" "0.1"

## NULL
## [1] "time_CPU"     "maxPosRSizeC" "-0.05"

## NULL
## [1] "time_CPU"      "maxPosRSizeNC" "-0.03"

## NULL
## [1] "time_CPU"    "numAtomOccC" "0.03"

## NULL
## [1] "time_CPU"     "numAtomOccNC" "-0.03"

## NULL
## [1] "time_CPU"      "maxNumAtomOcc" "0"

## NULL
## [1] "time_CPU"      "maxNumPosOccA" "0"

## NULL
## [1] "time_CPU"      "maxNumNegOccA" "-0.02"

## NULL
## [1] "time_CPU" "dWidth"   "-0.02"

## NULL
## [1] "time_CPU" "dEdges"   "0.02"

## NULL
## [1] "time_CPU" "dNodes"   "0"

## NULL
## [1] "time_CPU" "iEdges"   "0.02"

## NULL
## [1] "time_CPU" "iNodes"   "0"

## NULL
## [1] "choices"    "backtracks" "0.01"

## NULL
## [1] "choices" "atoms"   "-0.04"

## NULL
## [1] "choices" "rules"   "-0.07"

## NULL
## [1] "choices" "bodies"  "-0.03"

## NULL
## [1] "choices"      "equivalences" "-0.03"

## NULL
## [1] "choices"   "variables" "-0.03"

## NULL
## [1] "choices" "frozen"  "0.02"

## NULL
## [1] "choices"     "constraints" "-0.03"

## NULL
## [1] "choices"      "nHornClauses" "-0.08"

## NULL
## [1] "choices"          "nDualHornClauses" "-0.03"

## NULL
## [1] "choices"       "maxClauseSize" "-0.03"

## NULL
## [1] "choices"               "maxPositiveClauseSize" "-0.02"

## NULL
## [1] "choices"               "maxNegativeClauseSize" "0.01"

## NULL
## [1] "choices"     "numVPosLitH" "-0.05"

## NULL
## [1] "choices"    "numVPosLit" "-0.04"

## NULL
## [1] "choices"     "numVNegLitH" "0.01"

## NULL
## [1] "choices"    "numVNegLit" "0.02"

## NULL
## [1] "choices"      "maxPosRSizeC" "-0.02"

## NULL
## [1] "choices"       "maxPosRSizeNC" "-0.02"

## NULL
## [1] "choices"     "numAtomOccC" "-0.04"

## NULL
## [1] "choices"      "numAtomOccNC" "-0.03"

## NULL
## [1] "choices"       "maxNumAtomOcc" "-0.02"

## NULL
## [1] "choices"       "maxNumPosOccA" "-0.02"

## NULL
## [1] "choices"       "maxNumNegOccA" "-0.02"

## NULL
## [1] "choices" "dWidth"  "-0.05"

## NULL
## [1] "choices" "dEdges"  "-0.05"

## NULL
## [1] "choices" "dNodes"  "-0.07"

## NULL
## [1] "choices" "iEdges"  "-0.05"

## NULL
## [1] "choices" "iNodes"  "-0.07"

## NULL
## [1] "conflicts"  "backtracks" "-0.01"

## NULL
## [1] "conflicts" "atoms"     "-0.05"

## NULL
## [1] "conflicts" "rules"     "-0.08"

## NULL
## [1] "conflicts" "bodies"    "-0.05"

## NULL
## [1] "conflicts"    "equivalences" "-0.02"

## NULL
## [1] "conflicts" "variables" "-0.06"

## NULL
## [1] "conflicts" "frozen"    "0.01"

## NULL
## [1] "conflicts"   "constraints" "-0.05"

## NULL
## [1] "conflicts"    "nHornClauses" "-0.09"

## NULL
## [1] "conflicts"        "nDualHornClauses" "-0.05"

## NULL
## [1] "conflicts"     "maxClauseSize" "-0.03"

## NULL
## [1] "conflicts"             "maxPositiveClauseSize" "-0.03"

## NULL
## [1] "conflicts"             "maxNegativeClauseSize" "0"

## NULL
## [1] "conflicts"   "numVPosLitH" "-0.07"

## NULL
## [1] "conflicts"  "numVPosLit" "-0.07"

## NULL
## [1] "conflicts"   "numVNegLitH" "-0.02"

## NULL
## [1] "conflicts"  "numVNegLit" "-0.01"

## NULL
## [1] "conflicts"    "maxPosRSizeC" "-0.03"

## NULL
## [1] "conflicts"     "maxPosRSizeNC" "-0.02"

## NULL
## [1] "conflicts"   "numAtomOccC" "-0.06"

## NULL
## [1] "conflicts"    "numAtomOccNC" "-0.03"

## NULL
## [1] "conflicts"     "maxNumAtomOcc" "-0.01"

## NULL
## [1] "conflicts"     "maxNumPosOccA" "-0.01"

## NULL
## [1] "conflicts"     "maxNumNegOccA" "-0.03"

## NULL
## [1] "conflicts" "dWidth"    "-0.06"

## NULL
## [1] "conflicts" "dEdges"    "-0.07"

## NULL
## [1] "conflicts" "dNodes"    "-0.09"

## NULL
## [1] "conflicts" "iEdges"    "-0.07"

## NULL
## [1] "conflicts" "iNodes"    "-0.09"

## NULL
## [1] "backtracks" "backjumps"  "-0.01"

## NULL
## [1] "backtracks" "restarts"   "0.05"

## NULL
## [1] "backtracks" "jumps"      "-0.01"

## NULL
## [1] "backtracks" "atoms"      "-0.01"

## NULL
## [1] "backtracks" "rules"      "0.25"

## NULL
## [1] "backtracks" "bodies"     "0.09"

## NULL
## [1] "backtracks"   "equivalences" "0.05"

## NULL
## [1] "backtracks" "variables"  "0.04"

## NULL
## [1] "backtracks" "frozen"     "0.13"

## NULL
## [1] "backtracks"  "constraints" "0.09"

## NULL
## [1] "backtracks"   "nHornClauses" "0.03"

## NULL
## [1] "backtracks"    "maxClauseSize" "-0.09"

## NULL
## [1] "backtracks"            "maxPositiveClauseSize" "-0.12"

## NULL
## [1] "backtracks"            "maxNegativeClauseSize" "0"

## NULL
## [1] "backtracks"  "numVPosLitH" "0.1"

## NULL
## [1] "backtracks" "numVPosLit" "0.06"

## NULL
## [1] "backtracks"  "numVNegLitH" "-0.02"

## NULL
## [1] "backtracks" "numVNegLit" "-0.05"

## NULL
## [1] "backtracks"   "maxPosRSizeC" "-0.12"

## NULL
## [1] "backtracks"    "maxPosRSizeNC" "-0.05"

## NULL
## [1] "backtracks"   "numAtomOccNC" "-0.03"

## NULL
## [1] "backtracks"    "maxNumNegOccA" "0.01"

## NULL
## [1] "backtracks" "dWidth"     "0.08"

## NULL
## [1] "backtracks" "dNodes"     "0.25"

## NULL
## [1] "backtracks" "iNodes"     "0.25"

## NULL
## [1] "backjumps" "atoms"     "-0.05"

## NULL
## [1] "backjumps" "rules"     "-0.08"

## NULL
## [1] "backjumps" "bodies"    "-0.05"

## NULL
## [1] "backjumps"    "equivalences" "-0.02"

## NULL
## [1] "backjumps" "variables" "-0.06"

## NULL
## [1] "backjumps" "frozen"    "0.01"

## NULL
## [1] "backjumps"   "constraints" "-0.05"

## NULL
## [1] "backjumps"    "nHornClauses" "-0.09"

## NULL
## [1] "backjumps"        "nDualHornClauses" "-0.05"

## NULL
## [1] "backjumps"     "maxClauseSize" "-0.03"

## NULL
## [1] "backjumps"             "maxPositiveClauseSize" "-0.03"

## NULL
## [1] "backjumps"             "maxNegativeClauseSize" "0"

## NULL
## [1] "backjumps"   "numVPosLitH" "-0.07"

## NULL
## [1] "backjumps"  "numVPosLit" "-0.07"

## NULL
## [1] "backjumps"   "numVNegLitH" "-0.02"

## NULL
## [1] "backjumps"  "numVNegLit" "-0.01"

## NULL
## [1] "backjumps"    "maxPosRSizeC" "-0.03"

## NULL
## [1] "backjumps"     "maxPosRSizeNC" "-0.02"

## NULL
## [1] "backjumps"   "numAtomOccC" "-0.06"

## NULL
## [1] "backjumps"    "numAtomOccNC" "-0.03"

## NULL
## [1] "backjumps"     "maxNumAtomOcc" "-0.01"

## NULL
## [1] "backjumps"     "maxNumPosOccA" "-0.01"

## NULL
## [1] "backjumps"     "maxNumNegOccA" "-0.03"

## NULL
## [1] "backjumps" "dWidth"    "-0.06"

## NULL
## [1] "backjumps" "dEdges"    "-0.07"

## NULL
## [1] "backjumps" "dNodes"    "-0.09"

## NULL
## [1] "backjumps" "iEdges"    "-0.07"

## NULL
## [1] "backjumps" "iNodes"    "-0.09"

## NULL
## [1] "restarts" "atoms"    "-0.06"

## NULL
## [1] "restarts" "rules"    "-0.08"

## NULL
## [1] "restarts" "bodies"   "-0.05"

## NULL
## [1] "restarts"     "equivalences" "-0.02"

## NULL
## [1] "restarts"  "variables" "-0.06"

## NULL
## [1] "restarts" "frozen"   "0"

## NULL
## [1] "restarts"    "constraints" "-0.05"

## NULL
## [1] "restarts"     "nHornClauses" "-0.09"

## NULL
## [1] "restarts"         "nDualHornClauses" "-0.04"

## NULL
## [1] "restarts"      "maxClauseSize" "-0.05"

## NULL
## [1] "restarts"              "maxPositiveClauseSize" "-0.04"

## NULL
## [1] "restarts"              "maxNegativeClauseSize" "-0.01"

## NULL
## [1] "restarts"    "numVPosLitH" "-0.07"

## NULL
## [1] "restarts"   "numVPosLit" "-0.07"

## NULL
## [1] "restarts"    "numVNegLitH" "-0.01"

## NULL
## [1] "restarts"   "numVNegLit" "0.01"

## NULL
## [1] "restarts"     "maxPosRSizeC" "-0.04"

## NULL
## [1] "restarts"      "maxPosRSizeNC" "-0.02"

## NULL
## [1] "restarts"    "numAtomOccC" "-0.05"

## NULL
## [1] "restarts"     "numAtomOccNC" "-0.04"

## NULL
## [1] "restarts"      "maxNumAtomOcc" "0"

## NULL
## [1] "restarts"      "maxNumPosOccA" "0"

## NULL
## [1] "restarts"      "maxNumNegOccA" "-0.03"

## NULL
## [1] "restarts" "dWidth"   "-0.05"

## NULL
## [1] "restarts" "dEdges"   "-0.06"

## NULL
## [1] "restarts" "dNodes"   "-0.09"

## NULL
## [1] "restarts" "iEdges"   "-0.06"

## NULL
## [1] "restarts" "iNodes"   "-0.09"

## NULL
## [1] "jumps" "atoms" "-0.05"

## NULL
## [1] "jumps" "rules" "-0.08"

## NULL
## [1] "jumps"  "bodies" "-0.05"

## NULL
## [1] "jumps"        "equivalences" "-0.02"

## NULL
## [1] "jumps"     "variables" "-0.06"

## NULL
## [1] "jumps"  "frozen" "0.01"

## NULL
## [1] "jumps"       "constraints" "-0.05"

## NULL
## [1] "jumps"        "nHornClauses" "-0.09"

## NULL
## [1] "jumps"            "nDualHornClauses" "-0.05"

## NULL
## [1] "jumps"         "maxClauseSize" "-0.03"

## NULL
## [1] "jumps"                 "maxPositiveClauseSize" "-0.03"

## NULL
## [1] "jumps"                 "maxNegativeClauseSize" "0"

## NULL
## [1] "jumps"       "numVPosLitH" "-0.07"

## NULL
## [1] "jumps"      "numVPosLit" "-0.07"

## NULL
## [1] "jumps"       "numVNegLitH" "-0.02"

## NULL
## [1] "jumps"      "numVNegLit" "-0.01"

## NULL
## [1] "jumps"        "maxPosRSizeC" "-0.03"

## NULL
## [1] "jumps"         "maxPosRSizeNC" "-0.02"

## NULL
## [1] "jumps"       "numAtomOccC" "-0.06"

## NULL
## [1] "jumps"        "numAtomOccNC" "-0.03"

## NULL
## [1] "jumps"         "maxNumAtomOcc" "-0.01"

## NULL
## [1] "jumps"         "maxNumPosOccA" "-0.01"

## NULL
## [1] "jumps"         "maxNumNegOccA" "-0.03"

## NULL
## [1] "jumps"  "dWidth" "-0.06"

## NULL
## [1] "jumps"  "dEdges" "-0.07"

## NULL
## [1] "jumps"  "dNodes" "-0.09"

## NULL
## [1] "jumps"  "iEdges" "-0.07"

## NULL
## [1] "jumps"  "iNodes" "-0.09"

## NULL
## [1] "atoms"            "nDualHornClauses" "0.19"

## NULL
## [1] "atoms"         "maxClauseSize" "-0.09"

## NULL
## [1] "atoms"                 "maxPositiveClauseSize" "-0.07"

## NULL
## [1] "atoms"                 "maxNegativeClauseSize" "-0.08"

## NULL
## [1] "atoms"        "maxPosRSizeC" "-0.08"

## NULL
## [1] "atoms"         "maxPosRSizeNC" "-0.02"

## NULL
## [1] "atoms"        "numAtomOccNC" "0.03"

## NULL
## [1] "atoms"         "maxNumAtomOcc" "-0.12"

## NULL
## [1] "atoms"         "maxNumPosOccA" "-0.12"

## NULL
## [1] "atoms"         "maxNumNegOccA" "-0.09"

## NULL
## [1] "rules"         "maxClauseSize" "-0.06"

## NULL
## [1] "rules"                 "maxPositiveClauseSize" "0"

## NULL
## [1] "rules"                 "maxNegativeClauseSize" "-0.12"

## NULL
## [1] "rules"        "maxPosRSizeC" "-0.24"

## NULL
## [1] "rules"         "maxPosRSizeNC" "0.2"

## NULL
## [1] "rules"        "numAtomOccNC" "0.24"

## NULL
## [1] "rules"         "maxNumNegOccA" "-0.11"

## NULL
## [1] "bodies"        "maxClauseSize" "-0.13"

## NULL
## [1] "bodies"                "maxPositiveClauseSize" "-0.11"

## NULL
## [1] "bodies"                "maxNegativeClauseSize" "-0.09"

## NULL
## [1] "bodies"       "maxPosRSizeC" "-0.24"

## NULL
## [1] "bodies"        "maxPosRSizeNC" "0.06"

## NULL
## [1] "bodies"       "numAtomOccNC" "0.13"

## NULL
## [1] "bodies"        "maxNumAtomOcc" "0"

## NULL
## [1] "bodies"        "maxNumPosOccA" "0"

## NULL
## [1] "bodies"        "maxNumNegOccA" "-0.07"

## NULL
## [1] "equivalences"     "nDualHornClauses" "0.15"

## NULL
## [1] "equivalences"  "maxClauseSize" "-0.09"

## NULL
## [1] "equivalences"          "maxPositiveClauseSize" "-0.06"

## NULL
## [1] "equivalences"          "maxNegativeClauseSize" "-0.08"

## NULL
## [1] "equivalences" "maxPosRSizeC" "-0.03"

## NULL
## [1] "equivalences"  "maxPosRSizeNC" "-0.03"

## NULL
## [1] "equivalences" "numAtomOccNC" "0.06"

## NULL
## [1] "equivalences"  "maxNumAtomOcc" "-0.08"

## NULL
## [1] "equivalences"  "maxNumPosOccA" "-0.08"

## NULL
## [1] "equivalences"  "maxNumNegOccA" "-0.1"

## NULL
## [1] "variables"     "maxClauseSize" "-0.16"

## NULL
## [1] "variables"             "maxPositiveClauseSize" "-0.16"

## NULL
## [1] "variables"             "maxNegativeClauseSize" "-0.08"

## NULL
## [1] "variables"    "maxPosRSizeC" "-0.19"

## NULL
## [1] "variables"     "maxPosRSizeNC" "-0.05"

## NULL
## [1] "variables"    "numAtomOccNC" "0.05"

## NULL
## [1] "variables"     "maxNumAtomOcc" "-0.13"

## NULL
## [1] "variables"     "maxNumPosOccA" "-0.13"

## NULL
## [1] "variables"     "maxNumNegOccA" "-0.04"

## NULL
## [1] "frozen"       "nHornClauses" "0.04"

## NULL
## [1] "frozen"        "maxClauseSize" "-0.1"

## NULL
## [1] "frozen"                "maxPositiveClauseSize" "-0.11"

## NULL
## [1] "frozen"                "maxNegativeClauseSize" "-0.02"

## NULL
## [1] "frozen"      "numVNegLitH" "0.06"

## NULL
## [1] "frozen"     "numVNegLit" "0.06"

## NULL
## [1] "frozen"       "maxPosRSizeC" "-0.16"

## NULL
## [1] "frozen"        "maxPosRSizeNC" "-0.01"

## NULL
## [1] "frozen"       "numAtomOccNC" "0.11"

## NULL
## [1] "frozen"        "maxNumAtomOcc" "-0.01"

## NULL
## [1] "frozen"        "maxNumPosOccA" "-0.01"

## NULL
## [1] "frozen"        "maxNumNegOccA" "-0.03"

## NULL
## [1] "constraints"   "maxClauseSize" "-0.13"

## NULL
## [1] "constraints"           "maxPositiveClauseSize" "-0.11"

## NULL
## [1] "constraints"           "maxNegativeClauseSize" "-0.09"

## NULL
## [1] "constraints"  "maxPosRSizeC" "-0.24"

## NULL
## [1] "constraints"   "maxPosRSizeNC" "0.06"

## NULL
## [1] "constraints"  "numAtomOccNC" "0.13"

## NULL
## [1] "constraints"   "maxNumAtomOcc" "0"

## NULL
## [1] "constraints"   "maxNumPosOccA" "0"

## NULL
## [1] "constraints"   "maxNumNegOccA" "-0.07"

## NULL
## [1] "nHornClauses"     "nDualHornClauses" "0.29"

## NULL
## [1] "nHornClauses"  "maxClauseSize" "-0.08"

## NULL
## [1] "nHornClauses"          "maxPositiveClauseSize" "-0.1"

## NULL
## [1] "nHornClauses"          "maxNegativeClauseSize" "-0.02"

## NULL
## [1] "nHornClauses" "maxPosRSizeC" "-0.09"

## NULL
## [1] "nHornClauses"  "maxPosRSizeNC" "-0.02"

## NULL
## [1] "nHornClauses" "numAtomOccNC" "0.04"

## NULL
## [1] "nHornClauses"  "maxNumAtomOcc" "0.05"

## NULL
## [1] "nHornClauses"  "maxNumPosOccA" "0.05"

## NULL
## [1] "nHornClauses"  "maxNumNegOccA" "0.03"

## NULL
## [1] "nDualHornClauses" "maxClauseSize"    "-0.26"

## NULL
## [1] "nDualHornClauses"      "maxPositiveClauseSize" "-0.27"

## NULL
## [1] "nDualHornClauses"      "maxNegativeClauseSize" "-0.11"

## NULL
## [1] "nDualHornClauses" "numVNegLitH"      "0.2"

## NULL
## [1] "nDualHornClauses" "numVNegLit"       "0.25"

## NULL
## [1] "nDualHornClauses" "maxPosRSizeNC"    "-0.09"

## NULL
## [1] "nDualHornClauses" "maxNumNegOccA"    "-0.09"

## NULL
## [1] "nDualHornClauses" "iWidth"           "0.01"

## NULL
## [1] "maxClauseSize" "numVPosLitH"   "-0.13"

## NULL
## [1] "maxClauseSize" "numVPosLit"    "-0.18"

## NULL
## [1] "maxClauseSize" "numVNegLitH"   "-0.04"

## NULL
## [1] "maxClauseSize" "numVNegLit"    "-0.15"

## NULL
## [1] "maxClauseSize" "numAtomOccC"   "0.17"

## NULL
## [1] "maxClauseSize" "numAtomOccNC"  "-0.04"

## NULL
## [1] "maxClauseSize" "maxNumAtomOcc" "-0.14"

## NULL
## [1] "maxClauseSize" "maxNumPosOccA" "-0.14"

## NULL
## [1] "maxClauseSize" "dWidth"        "0.09"

## NULL
## [1] "maxClauseSize" "dEdges"        "-0.07"

## NULL
## [1] "maxClauseSize" "dNodes"        "-0.09"

## NULL
## [1] "maxClauseSize" "iEdges"        "-0.07"

## NULL
## [1] "maxClauseSize" "iNodes"        "-0.09"

## NULL
## [1] "maxPositiveClauseSize" "maxNegativeClauseSize" "0.16"

## NULL
## [1] "maxPositiveClauseSize" "numVPosLitH"           "-0.1"

## NULL
## [1] "maxPositiveClauseSize" "numVPosLit"            "-0.16"

## NULL
## [1] "maxPositiveClauseSize" "numVNegLitH"           "-0.03"

## NULL
## [1] "maxPositiveClauseSize" "numVNegLit"            "-0.13"

## NULL
## [1] "maxPositiveClauseSize" "numAtomOccC"           "-0.01"

## NULL
## [1] "maxPositiveClauseSize" "numAtomOccNC"          "-0.04"

## NULL
## [1] "maxPositiveClauseSize" "maxNumAtomOcc"         "-0.15"

## NULL
## [1] "maxPositiveClauseSize" "maxNumPosOccA"         "-0.15"

## NULL
## [1] "maxPositiveClauseSize" "maxNumNegOccA"         "0.15"

## NULL
## [1] "maxPositiveClauseSize" "dWidth"                "-0.01"

## NULL
## [1] "maxPositiveClauseSize" "dEdges"                "-0.07"

## NULL
## [1] "maxPositiveClauseSize" "dNodes"                "-0.03"

## NULL
## [1] "maxPositiveClauseSize" "iEdges"                "-0.07"

## NULL
## [1] "maxPositiveClauseSize" "iNodes"                "-0.03"

## NULL
## [1] "maxNegativeClauseSize" "numVPosLitH"           "-0.09"

## NULL
## [1] "maxNegativeClauseSize" "numVPosLit"            "-0.12"

## NULL
## [1] "maxNegativeClauseSize" "numVNegLitH"           "-0.04"

## NULL
## [1] "maxNegativeClauseSize" "numVNegLit"            "-0.11"

## NULL
## [1] "maxNegativeClauseSize" "maxPosRSizeC"          "0.28"

## NULL
## [1] "maxNegativeClauseSize" "maxPosRSizeNC"         "-0.02"

## NULL
## [1] "maxNegativeClauseSize" "numAtomOccNC"          "-0.03"

## NULL
## [1] "maxNegativeClauseSize" "maxNumAtomOcc"         "-0.06"

## NULL
## [1] "maxNegativeClauseSize" "maxNumPosOccA"         "-0.06"

## NULL
## [1] "maxNegativeClauseSize" "dWidth"                "0.13"

## NULL
## [1] "maxNegativeClauseSize" "dEdges"                "-0.03"

## NULL
## [1] "maxNegativeClauseSize" "dNodes"                "-0.14"

## NULL
## [1] "maxNegativeClauseSize" "iEdges"                "-0.03"

## NULL
## [1] "maxNegativeClauseSize" "iNodes"                "-0.14"

## NULL
## [1] "numVPosLitH"  "maxPosRSizeC" "-0.13"

## NULL
## [1] "numVPosLitH"   "maxPosRSizeNC" "-0.03"

## NULL
## [1] "numVPosLitH"  "numAtomOccNC" "-0.03"

## NULL
## [1] "numVPosLitH"   "maxNumAtomOcc" "-0.02"

## NULL
## [1] "numVPosLitH"   "maxNumPosOccA" "-0.02"

## NULL
## [1] "numVPosLitH"   "maxNumNegOccA" "-0.07"

## NULL
## [1] "numVPosLit"   "maxPosRSizeC" "-0.12"

## NULL
## [1] "numVPosLit"    "maxPosRSizeNC" "-0.1"

## NULL
## [1] "numVPosLit"   "numAtomOccNC" "-0.01"

## NULL
## [1] "numVPosLit"    "maxNumAtomOcc" "0"

## NULL
## [1] "numVPosLit"    "maxNumPosOccA" "0"

## NULL
## [1] "numVPosLit"    "maxNumNegOccA" "-0.13"

## NULL
## [1] "numVNegLitH"  "maxPosRSizeC" "-0.1"

## NULL
## [1] "numVNegLitH"   "maxPosRSizeNC" "0.05"

## NULL
## [1] "numVNegLitH"  "numAtomOccNC" "-0.04"

## NULL
## [1] "numVNegLitH"   "maxNumAtomOcc" "-0.08"

## NULL
## [1] "numVNegLitH"   "maxNumPosOccA" "-0.08"

## NULL
## [1] "numVNegLitH"   "maxNumNegOccA" "-0.04"

## NULL
## [1] "numVNegLitH" "dWidth"      "0.26"

## NULL
## [1] "numVNegLit"   "maxPosRSizeC" "-0.12"

## NULL
## [1] "numVNegLit"    "maxPosRSizeNC" "-0.05"

## NULL
## [1] "numVNegLit"   "numAtomOccNC" "-0.01"

## NULL
## [1] "numVNegLit"    "maxNumAtomOcc" "-0.06"

## NULL
## [1] "numVNegLit"    "maxNumPosOccA" "-0.06"

## NULL
## [1] "numVNegLit"    "maxNumNegOccA" "-0.11"

## NULL
## [1] "maxPosRSizeC"  "maxPosRSizeNC" "0.02"

## NULL
## [1] "maxPosRSizeC" "numAtomOccC"  "-0.15"

## NULL
## [1] "maxPosRSizeC" "numAtomOccNC" "-0.03"

## NULL
## [1] "maxPosRSizeC"  "maxNumAtomOcc" "-0.17"

## NULL
## [1] "maxPosRSizeC"  "maxNumPosOccA" "-0.17"

## NULL
## [1] "maxPosRSizeC"  "maxNumNegOccA" "0.26"

## NULL
## [1] "maxPosRSizeC" "dWidth"       "-0.01"

## NULL
## [1] "maxPosRSizeC" "dEdges"       "-0.26"

## NULL
## [1] "maxPosRSizeC" "dNodes"       "-0.28"

## NULL
## [1] "maxPosRSizeC" "iEdges"       "-0.26"

## NULL
## [1] "maxPosRSizeC" "iNodes"       "-0.28"

## NULL
## [1] "maxPosRSizeNC" "numAtomOccC"   "0.11"

## NULL
## [1] "maxPosRSizeNC" "numAtomOccNC"  "0.04"

## NULL
## [1] "maxPosRSizeNC" "maxNumAtomOcc" "-0.05"

## NULL
## [1] "maxPosRSizeNC" "maxNumPosOccA" "-0.05"

## NULL
## [1] "maxPosRSizeNC" "maxNumNegOccA" "-0.02"

## NULL
## [1] "maxPosRSizeNC" "dWidth"        "0.13"

## NULL
## [1] "maxPosRSizeNC" "dEdges"        "0.13"

## NULL
## [1] "maxPosRSizeNC" "dNodes"        "0.19"

## NULL
## [1] "maxPosRSizeNC" "iEdges"        "0.13"

## NULL
## [1] "maxPosRSizeNC" "iNodes"        "0.19"

## NULL
## [1] "numAtomOccC"  "numAtomOccNC" "-0.04"

## NULL
## [1] "numAtomOccNC"  "maxNumNegOccA" "-0.04"

## NULL
## [1] "numAtomOccNC" "dWidth"       "0.22"

## NULL
## [1] "numAtomOccNC" "dNodes"       "0.26"

## NULL
## [1] "numAtomOccNC" "iNodes"       "0.26"

## NULL
## [1] "maxNumAtomOcc" "maxNumNegOccA" "-0.06"

## NULL
## [1] "maxNumAtomOcc" "dWidth"        "0.1"

## NULL
## [1] "maxNumPosOccA" "maxNumNegOccA" "-0.06"

## NULL
## [1] "maxNumPosOccA" "dWidth"        "0.1"

## NULL
## [1] "maxNumNegOccA" "dWidth"        "0.14"

## NULL
## [1] "maxNumNegOccA" "dEdges"        "-0.01"

## NULL
## [1] "maxNumNegOccA" "dNodes"        "-0.12"

## NULL
## [1] "maxNumNegOccA" "iWidth"        "-0.03"

## NULL
## [1] "maxNumNegOccA" "iEdges"        "-0.01"

## NULL
## [1] "maxNumNegOccA" "iNodes"        "-0.12"

## NULL